Thomas A. Henzinger Christoph M. Kirsch Rupak Majumdar Slobodan Matic Time-Safety Checking for Embedded Programs. 76-92 2002 conf/emsoft/2002 EMSOFT http://link.springer.de/link/service/series/0558/bibs/2491/24910076.htm db/conf/emsoft/emsoft2002.html#HenzingerKMM02