Yan Jiong, Ji Wang, Huowang Chen. Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. In 4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany. pages 22-31, IEEE Computer Society, 2004. [doi]
Abstract is missing.