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