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 - Mirco Tribastone, Stephen Gilmore ((Lecture Notes in Computer Science))