Discrete Event Simulation as a Means of Validating JSD Design Specifications

@inproceedings{Potts-al:ICSE85,
  author    = {Colin Potts and
               Andy Bartlett and
               Brian H. Cherrie and
               Roy MacLean},
  title     = {Discrete Event Simulation as a Means of Validating {JSD} Design Specifications},
  booktitle = {ICSE},
  pages     = {119--127},
  publisher = {{IEEE} Computer Society},
  year      = {1985},
}