Rolf Ernst Marek Jersak Hans Sarnowski Marco Bekooij Samarjit Chakraborty Formal Methods in System and MpSoC Performance Analysis and Optimisation. 2008 DATE http://dx.doi.org/10.1109/DATE.2008.4484645 conf/date/2008 db/conf/date/date2008.html#ErnstJSBC08