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

Figure 1

A state machine and its computation tree. adapted from [43].