Fernando Silvano Goncalves, Leandro Buss Becker. Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems. In 2014 Brazilian Symposium on Computing Systems Engineering, SBESC 2014, Manaus, Amazonas, Brazil, November 3-7, 2014. pages 61-66, IEEE Computer Society, 2014. [doi]
Abstract is missing.