Thomas A. Henzinger Zohar Manna Amir Pnueli Towards Refining Temporal Specifications into Hybrid Systems. 60-76 1992 conf/hybrid/1992 Hybrid Systems db/conf/hybrid/hybrid92.html#HenzingerMP92 http://dx.doi.org/10.1007/3-540-57318-6_24