Misson, Henrique, Fernando  Gonçalves, and Leandro  Buss Becker.
"Applying Integrated Formal Methods on CPS Design." <em>Anais do IX Simpósio Brasileiro de Engenharia de Sistemas Computacionais,
Natal, 2019</em>. SBC, 2019,  
pp.137-144.