Model-checking oriented unified modeling method based on NuSMV
CHEN Lu, JIAO Jian, WEI Qianxin
Systems Engineering and Electronics . 2018, (7): 1654 -1659 .  DOI: 10.3969/j.issn.1001-506X.2018.07.34