Specification-Level Integration of Simulation and Dependability Analysis

@inproceedings{Gokhale2002SpecificationLevelIO,
  title={Specification-Level Integration of Simulation and Dependability Analysis},
  author={Swapna S. Gokhale and Joseph Robert Horgan and Kishor S. Trivedi},
  booktitle={WADS},
  year={2002}
}