Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng. Specification-Based Testing for Real-Time Reactive Systems. In Qizoyan Li, Donald Firesmith, Richard Riehle, Bertrand Meyer, editors, TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA. pages 25-36, IEEE Computer Society, 2000. [doi]
Abstract is missing.