Maisie: A language for design of ecient discrete-event simulations (1994)

by R Bagrodia, W Liao
Venue:IEEE Transactions on Software Engineering