Henzinger, Thomas A, Benjamin Horowitz, and Ritankar Majumdar. “Rectangular Hybrid Games.”https://doi.org/10.1007/3-540-48320-9_23__In Proceedings of the 10th International Conference on Concurrency Theory, 1664:320–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999.https://doi.org/10.1007/3-540-48320-9_23 .

Alur, Rajeev, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Automating Modular Verification.”https://doi.org/10.1007/3-540-48320-9_8__In Proceedings of the 10th International Conference on Concurrency Theory, 1664:82–97. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999.https://doi.org/10.1007/3-540-48320-9_8 .