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. In Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008. pages 909-914, 2008. [doi]
Abstract is missing.