Misson, H., 		Gonçalves, F., & 		Becker, L.
2019 nov 19.  Applying Integrated Formal Methods on CPS Design. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :