F. Gonçalves and L. Becker.
" 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>, Manaus/AM, 2014, pp. 61-66.