Misson, H., 		Gonçalves, F., & 		Becker, L.
(2019).
 Applying Integrated Formal Methods on CPS Design.
In <em>Proceedings of the 9th Brazilian Symposium on Computing Systems Engineering</em>, (pp. 137-144). Porto Alegre: SBC.