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