Gonçalves, Fernando, and Leandro Buss Becker.
" Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems." <em>Anais do IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais,
Manaus/AM, 2014</em>. SBC, 2014,  
pp.61-66.