Gonçalves, Fernando, and Leandro Buss Becker. " Preparing Cyber-physical Systems Functional Models for Implementation." Anais do V Simpósio Brasileiro de Engenharia de Sistemas Computacionais, Foz do Iguaçu/PR, 2015. SBC, 2015, pp.1710-1845.