Fernando Gonçalves and Leandro Becker. 2014. Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems. In Anais do IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais, novembro 03, 2014, Manaus/AM, Brasil. SBC, Porto Alegre, Brasil, 61-66.