E. Bass, K. Feigh, E. Gunter, and J. Rushby, “Formal Modeling and Analysis for Interactive Hybrid Systems”, eceasst, vol. 45, Oct. 2011.