Mirco Tribastone, Stephen Gilmore: Computer Performance Engineering - 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7587, Springer 2013, ISBN 978-3-642-36780-9