Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-Nets | IEEE Conference Publication | IEEE Xplore