Yefei Zhao Zongyuan Yang Jinkui Xie Qiang Liu Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking. 793-800 2010 5 JSW 7 http://dx.doi.org/10.4304/jsw.5.7.793-800 db/journals/jsw/jsw5.html#ZhaoYXL10