Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.”10.1007/BFb0033565__11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, vol. 199, Springer, 1994, pp. 331–51, doi:10.1007/BFb0033565.