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