Swapna S. Gokhale, Joseph R. Horgan, Kishor S. Trivedi. Specification-Level Integration of Simulation and Dependability Analysis. In Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky, editors, Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems]. Volume 2677 of Lecture Notes in Computer Science, pages 245-266, Springer, 2002. [doi]
Abstract is missing.