Formal semantics of UML state diagram and automatic verification based on Kripke structure. - Yefei Zhao; Zongyuan Yang; Jinkui Xie (CCECE, 2009)

Formal Model and Analysis of Sliding Window Protocol Based on NuSMV. - Yefei Zhao; Zongyuan Yang; Jinkui Xie; Qiang Liu (J. Comput., 2009)

Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking. - Yefei Zhao; Zongyuan Yang; Jinkui Xie; Qiang Liu (J. Softw., 2010)

Performance Analysis of System Model Based on UML State Diagrams and Continuous-time Markov Chains. - Yefei Zhao; Zongyuan Yang; Jinkui Xie; Qiang Liu (J. Softw., 2010)