Specification-Level Integration of Simulation and Dependability Analysis.

Title	Specification-Level Integration of Simulation and Dependability Analysis.
Publication Type	Conference Paper
Year of Publication	2002
Authors	SS Gokhale,, and KS Trivedi
Conference Name	WADS
Date Published	01/2002