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