Gonçalves, F., & 		Becker, L.
(2014).
 Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems.
In <em>Proceedings of the 4th Brazilian Symposium on Computing Systems Engineering</em>, (pp. 61-66). Porto Alegre: SBC.