Modeling and Simulation of IEC 61850 Requirements Applied to an Automated People Mover's Controller. - Guilherme Kunz; José Machado 002; Eduardo André Perondi (ICINCO (2), 2011)

Using timed automata for modeling, simulating and verifying networked systems controller's specifications. - Guilherme Kunz; José Machado 002; Eduardo André Perondi (Neural Comput. Appl., 2017)

A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements. - Guilherme Kunz; José Machado 002; Eduardo André Perondi; Valeriy Vyatkin (IEEE Trans. Ind. Electron., 2017)