Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-Nets. - Reng Yin; Hao Hu 001; JiDong Ge; Jian Lu 001 (APSEC, 2007)