Discrete Event Simulation as a Means of Validating JSD Design Specifications. - Colin Potts; Andy Bartlett; Brian H. Cherrie; Roy MacLean (ICSE, 1985)