Gonçalves, F., & Becker, L. (2015). Preparing Cyber-physical Systems Functional Models for Implementation. In Proceedings of the 5th Brazilian Symposium on Computing Systems Engineering, (pp. 1710-1845). Porto Alegre: SBC.