Stefan Andrei, Albert M. K. Cheng. Verifying Linear Real-Time Logic Specifications. In Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 3-6 December 2007, Tucson, Arizona, USA. pages 333-342, IEEE Computer Society, 2007. [doi]
Abstract is missing.