Mark van der Zwaag The cones and foci proof technique for timed transition systems. 33-40 2001 80 Inf. Process. Lett. 1 db/journals/ipl/ipl80.html#Zwaag01 http://dx.doi.org/10.1016/S0020-0190(01)00215-0