Compositional modeling and refinement for hierarchical hybrid systems. (2006)

by Rajeev Alur, Radu Grosub, Insup Lee, Oleg Sokolsky
Venue:Journal of Logic and Algebraic Programming,