Farn Wang, Fang Yu. OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. In Jing Chen, Seongsoo Hong, editors, Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers. Volume 2968 of Lecture Notes in Computer Science, pages 254-278, Springer, 2003. [doi]