Abderrahmane Lakas, Gordon S. Blair, Amanda G. Chetwynd. Specification and Verification of Real-Time Properties Using LOTOS and SQTL. In Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996. pages 75-84, IEEE Computer Society, 1996. [doi]
Abstract is missing.