Formal Methods in System and MpSoC Performance Analysis and Optimisation. - Rolf Ernst; Marek Jersak; Hans Sarnowski; Marco Bekooij; Samarjit Chakraborty (DATE, 2008)