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