Carlo Bellettini Lorenzo Capra Mattia Monga Using a Stochastic Well-formed Net model for assessing a decentralized approach to configuration management. 229-246 2007 64 Perform. Eval. 3 http://dx.doi.org/10.1016/j.peva.2006.04.001 db/journals/pe/pe64.html#BellettiniCM07