Richard Gerber;Insup Lee
-;-
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
IEEE Transactions on Computers