Formal verification of SDG diagnosability via symbolic model checking
NING Ning, ZHANG Jun, GAO Xiang-yang, XUE Jing
Journal of Systems Engineering and Electronics . 2011, (2): 390 -394 .  DOI: 10.3969/j.issn.1001-506X.2011.02.32