Misson, Henrique, 		Gonçalves, Fernando , E 		Becker, Leandro .
" Applying Integrated Formal Methods on CPS Design" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (19 novembro 2019)