Rajeev Alur Thomas A. Henzinger Real-Time System = Discrete System + Clock Variables. 86-109 1997 1 STTT 1-2 db/journals/sttt/sttt1.html#AlurH97 http://link.springer.de/link/service/journals/10009/bibs/7001001/70010086.htm