Gonçalves, Fernando, E 		Becker, Leandro.
" Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (3 novembro 2014)