Misson, H., 		Gonçalves, F., & 		Becker, L.
(2019).
Applying Integrated Formal Methods on CPS Design.
In <em>Anais do IX Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 137-144). Porto Alegre: SBC.