Analyzing concurrent and fault-tolerant software using stochastic Petri nets (1992)

by G Ciardo, J Muppala, K S Trivedi
Venue:Journal of Parallel and Distributed Computing