Saddek Bensalem Doron Peled Hongyang Qu Stavros Tripakis Generating Path Conditions for Timed Systems. 5-19 2005 conf/ifm/2005 IFM http://dx.doi.org/10.1007/11589976_2 db/conf/ifm/ifm2005.html#BensalemPQT05