George Logothetis, Klaus Schneider, C. Metzler. Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems. In Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings. pages 385-405, ECSI, 2003. [doi]
Abstract is missing.