Model based implementation of supervisors and diagnosers in VHDL code of programmable systems. - Jana Flochova; Jakub Holly; Michal Zapaticky; Ján Pivarcek (EUROCON, 2011)

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