Arkadeb Ghosal Thomas A. Henzinger Christoph M. Kirsch Marco A. A. Sanvido Event-Driven Programming with Logical Execution Times. 357-371 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2993&spage=357 2004 conf/hybrid/2004 HSCC db/conf/hybrid/hscc2004.html#GhosalHKS04