Clark, Allan and Gilmore, Stephen and Tribastone, Mirco  Quantitative analysis of web services using SRMC.   In:  Formal Methods for Web Services.   Lecture Notes in Computer Science  (5569).  Springer, pp. 296-339.  ISBN 978-3-642-01918-0      (2009)