Monica Anne Brockmeyer;Farnam Jahanian
-;-
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
IEEE Transactions on Computers