Gonçalves, F., & 		Becker, L.
2014 nov  3.  Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :