The cones and foci proof technique for timed transition systems

by M. B. van der Zwaag
Venue:Information Processing Letters