@Article{ZYXL10,
author={Yefei Zhao and Zongyuan Yang and Jinkui Xie and Qiang Liu},
title={Quantitative Analysis of System Based on Extended {UML} State Diagrams and Probabilistic Model Checking},
journal={Journal of Software},
year={2010},

volume={5},
number={7},
pages={793-800},
publisher={},
month={},
note={},
key={}
}