Rouaa Yassin Kassab, Aad P. A. van Moorsel. Formal Mapping of WSLA Contracts on Stochastic Models. In Nigel Thomas, editor, Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings. Volume 6977 of Lecture Notes in Computer Science, pages 117-132, Springer, 2011. [doi]