Cassez, F., Henzinger, T. A., &; Raskin, J. (2002). A comparison of control problems for timed and hybrid systems. In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (Vol. 2289, pp. 134–148). Stanford, CA, USA: Springer.https://doi.org/10.1007/3-540-45873-5_13