Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models. - Frederick T. Sheldon; Stefan Greiner; Matthias Benzinger (IWSSD, 2000)