Gonçalves, F., & 		Becker, L.
(2014).
 Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems.
In <em>Anais do IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 61-66). Porto Alegre: SBC.