Roland Lepold Performability Evaluation of a Fault-Tolerant Multiprocessor Architecture Using Stochastic Petri Nets. 253-265 1991 conf/icftcs/1991 Fault-Tolerant Computing Systems db/conf/icftcs/icftcs1991.html#Lepold91