Jian Zhai Qiusong Yang Feng Su Junchao Xiao Qing Wang Mingshu Li Stochastic Process Algebra Based Software Process Simulation Modeling. 136-147 2009 ICSP http://dx.doi.org/10.1007/978-3-642-01680-6_14 conf/ispw/2009 db/conf/ispw/icsp2009.html#ZhaiYSXWL09