ICSE workshop on quantitative stochastic models in the verification and design of software systems 2010 : (QUOVADIS 2010) : held in conjunction with ICSE 2010 : Cape Town, South Africa : 3 May 2010. : 1st workshop on quantitative stochastic models in the verification and design of software systems : May 2010, Cape Town, South Africa.