Emmanuele Zambon Damiano Bolzoni Sandro Etalle Marco Salvato Model-Based Mitigation of Availability Risks. 75-83 2007 BDIM http://dx.doi.org/10.1109/BDIM.2007.375014 conf/bdim/2007 db/conf/bdim/bdim2007.html#ZainbonBES07