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 - Tribastone, Mirco (Springer, 2013)