Bass, E.; Feigh, K.; Gunter, E.; Rushby, J. Formal Modeling and Analysis for Interactive Hybrid Systems. ECEASST 2011, 45.