Felix Salfner Miroslaw Malek Architecting Dependable Systems with Proactive Fault Management. 171-200 2009 WADS http://dx.doi.org/10.1007/978-3-642-17245-8_8 conf/icse/2009wads db/conf/icse/wads2009.html#SalfnerM09