Arne Hamann Razvan Racu Rolf Ernst A formal approach to robustness maximization of complex heterogeneous embedded systems. 40-45 2006 conf/codes/2006 CODES+ISSS http://doi.acm.org/10.1145/1176254.1176267 db/conf/codes/codes2006.html#HamannRE06