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

Figure 10

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