Translation rules of fault extended model to probabilistic checking model
WANG Peng, ZHANG Fan, DONG Lei, HU Jianbo, ZHAO Changxiao
Systems Engineering and Electronics . 2017, (11): 2501 -2508 .  DOI: 10.3969/j.issn.1001-506X.2017.11.16