Tribastone, Mirco and Mayer, Philip and Wirsing, Martin  Performance prediction of service-oriented systems with layered queueing networks.   In:  Leveraging Applications of Formal Methods, Verification, and Validation.   Lecture Notes in Computer Science  (6416).  Springer, pp. 51-65.  ISBN 978-3-642-16561-0      (2010)