An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods

Figure 5

Scheme of the car-by-car model [44].