Model Based Importance Analysis for Minimal Cut Sets. - Eckard Böde; Thomas Peikenkamp; Jan-Hendrik Rakow; Samuel Wischmeyer (ATVA, 2008)