Henrique Misson, Fernando  Gonçalves, and Leandro  Becker. 2019.
 Applying Integrated Formal Methods on CPS Design. In <em>Proceedings of the 9th Brazilian Symposium on Computing Systems Engineering</em>, November 19, 2019, Natal, Brasil. SBC, Porto Alegre, Brasil, 137-144.