1. [1] ACATECH (Ed.): Cyber-Physical Systems - Driving Force for Innovation in Mobility, Health, Energy and Production (2011).
2. [2] Lee, E.A. and Seshia, S.A.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach, available from <http://LeeSeshia.org> (2011).
3. [3] Alur, R.: Formal Verification of Hybrid Systems, Proc. ACM Intl. Conf. Embedded Software, pp.273-278 (2011).
4. [4] Henzinger, T.A., Ho, P. and Wong-toi, H.: HyTech: A model checker for hybrid systems, Proc. ACM Intl. Conf. Computer Aided Verification, pp.460-463 (1997).
5. [5] Frehse, G.: PHAVer: Algorithmic Verification of Hybrid Systems past Hytech, Journal on Software Tools for Technology Transfer, Vol.10, Issue 3, pp.263-279 (2008).