//-->
NETWORK-SYSTEM COMPUTATION & ANALYSIS - A BDD-based algorithm for reliability analysis of phased-mission systems
Zang, X., (1999)
Comment-Correction: Dependability modeling using Petri nets
Bänsch, K., (1996)
Dependability modeling using Petri nets
Malhotra, M., (1995)