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

Figure 8

Time intervals needed for an automobile to go through a sequence of cells.