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