Misson, H., 		Gonçalves, F., & 		Becker, L.
2019 Nov 19.  Applying Integrated Formal Methods on CPS Design. Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC). [Online] :