Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Towards Refining Temporal Specifications into Hybrid Systems.”https://doi.org/10.1007/3-540-57318-6_24__In International Hybrid Systems Workshop, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:60–76. Springer, 1993.https://doi.org/10.1007/3-540-57318-6_24 .