Gonçalves, F., & Becker, L. 2015 nov 3. Preparing Cyber-physical Systems Functional Models for Implementation. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :