Maisie: A Language for Design of Ecient Discrete-Event Simulations (1994)

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