Chunbo Chu Monica Brockmeyer Real-time predicate detection in timed asynchronous systems. 193-199 2007 conf/ISCApdcs/2007 ISCA PDCS db/conf/ISCApdcs/ISCApdcs2007.html#ChuB07