Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems - Ghezzi, Carlo (Association for Computing Machinery, 2010)