//-->
Dependability modeling using Petri nets
Malhotra, M., (1995)
Power-hierarchy of dependability-model types
Malhotra, M., (1994)
An efficient stiffness-insensitive method for transient analysis of Markov availability models
Malhotra, M., (1996)