1. A platform-based design methodology with contracts and related tools for the design of cyber-physical systems;Nuzzo;Proc. IEEE,2015
2. Modularity for timed and hybrid systems;Alur,1997
3. Hybrid I/O automata;Lynch;Inf. Comput.,2003
4. Compositional modeling and refinement for hierarchical hybrid systems;Alur;J. Log. Algebraic Program.,2006
5. Assume-guarantee reasoning for hierarchical hybrid systems;Henzinger,2001