GONÇALVES, Fernando Silvano; BECKER, Leandro Buss. Preparing Cyber-physical Systems Functional Models for Implementation. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SISTEMAS COMPUTACIONAIS (SBESC), 5. , 2015, Foz do Iguaçu/PR. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2015 . p. 1710-1845. ISSN 2237-5430.