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