Paper presentation at International Conference on Unmanned Aircraft Systems 2013
Assesing the Use of Continous-Time and Timed-Triggered Models for Developing Cyber-Physical Systems