Linking software process modeling with Markov decision theory | IEEE Conference Publication | IEEE Xplore