Supervisory control for collision avoidance in vehicular networks using discrete event abstractions