Performance evaluation from stochastic statecharts representation of flexible reactive systems: a simulation approach
Junqiao Li, Jun Tang, Shuang Wan, Wenbo Zhou, and Jianfeng Xu
Journal of Systems Engineering and Electronics . 2014, (1): 150 -157 .  DOI: 10.1109/JSEE.2014.00018