Model-Based Mitigation of Availability Risks. - Emmanuele Zambon; Damiano Bolzoni; Sandro Etalle; Marco Salvato (BDIM, 2007)