Cassez, Franck, Thomas A Henzinger, and Jean Raskin. “A Comparison of Control Problems for Timed and Hybrid Systems.”https://doi.org/10.1007/3-540-45873-5_13__In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, 2289:134–48. Springer, 2002.https://doi.org/10.1007/3-540-45873-5_13 .