Jeffrey J. P. Tsai, Thomas J. Weigert. A logic-based requirements language for the specification and analysis of real-time systems. In Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, February 1-2, 1996, Laguna Beach, California, USA. pages 8-16, IEEE, 1996. [doi]
Abstract is missing.