A Formal Authorization Framework for Networked SCADA Systems. - Ondrej Rysavý; Jaroslav Ráb; Patrik Halfar; Miroslav Svéda (ECBS, 2012)

Cyber-physical Information Systems for Enterprise Engineering - Cyber-physical Applications Timing. - Miroslav Svéda; Patrik Halfar (ICEIS (3), 2014)