1. Man KL, Schiffelers RRH (2006) Formal specification and analysis of hybrid systems. Universiteitsdrukkerij Technische Universiteit Eindhoven, ISBN-10: 90-386-2997-4
2. He J (2013) A clock-based framework for constructions of hybrid systems. Key talk. In the proceedings of ICTAC’2013
3. He J (2012) Link continuous world with discrete world. Shanghai Key Laboratory of Trustworthy Computing East China Normal University, China
4. Object Management Group (2009) UML profile for MARTE, v1.0.formal/2009-11-02
5. Object Management Group (2005) UML profile for schedulability, performance, and time specification. OMG document:formal/05-01-02 (v1.1)