Timed transition systems (1991)

by Thomas A Henzinger, Zohar Manna, Amir Pnueli
Venue:In RealTime: Theory in Practice, LNCS 600