Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw. A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. In 3rd IEEE Real-Time Technology and Applications Symposium (RTAS 97), 9-11 June 1997, Montreal, Canada. pages 125-135, IEEE Computer Society, 1997. [doi]
Abstract is missing.