Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems. - George Logothetis; Klaus Schneider 001; C. Metzler (FDL, 2003)

Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs. - George Logothetis; Klaus Schneider 001; C. Metzler (RTSS, 2003)

Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification. - George Logothetis; Klaus Schneider 001; C. Metzler (SBCCI, 2003)