Allan Clark Stephen Gilmore Mirco Tribastone Quantitative Analysis of Web Services Using SRMC. 296-339 2009 SFM http://dx.doi.org/10.1007/978-3-642-01918-0_8 conf/sfm/2009 db/conf/sfm/sfm2009.html#ClarkGT09