Krishnendu Chatterjee Arkadeb Ghosal Thomas A. Henzinger Daniel T. Iercan Christoph M. Kirsch Claudio Pinello Alberto L. Sangiovanni-Vincentelli Logical Reliability of Interacting Real-Time Tasks. 909-914 2008 DATE http://dx.doi.org/10.1109/DATE.2008.4484790 conf/date/2008 db/conf/date/date2008.html#ChatterjeeGHIKPS08