Rainer Böhme Ralf Reussner Validation of Predictions with Measurements. 14-18 2005 Dependability Metrics http://dx.doi.org/10.1007/978-3-540-68947-8_3 conf/dagstuhl/2005dm db/conf/dagstuhl/dm2005.html#BohmeR05