George Logothetis, Klaus Schneider, C. Metzler. Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification. In Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2003, Sao Paulo, Brazil, September 8-11, 2003. pages 211-216, IEEE Computer Society, 2003. [doi]
Abstract is missing.