Stuart Kent, T. S. E. Maibaum, William J. Quirk. Formally specifying temporal constraints and error recovery. In Proceedings of IEEE International Symposium on Requirements Engineering, RE 1993, San Diego, California, USA, January 4-6, 1993. pages 208-215, IEEE, 1993. [doi]
Abstract is missing.