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

Figure 9

Time intervals needed for a bus to go through this sequence of cells.