Timed Automaton and Petri Net models of Intersection Control. - Jana Flochová; Ján Pivarcek; Peter Kubanda (CoDIT, 2020)