Research Article

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

Figure 4

Interactions between layers.