Using Visual Specifications in Verification of Industrial Automation Controllers. - Valeriy Vyatkin; Gustavo Bouzon (EURASIP J. Embed. Syst., 2008)

Supervisory control of discrete event systems with distinguishers. - José E. R. Cury; Max Hering de Queiroz; Gustavo Bouzon; Marcelo Teixeira (Autom., 2015)