  In this paper, we present a novel MaxSAT-based technique to compute Maximum
Probability Minimal Cut Sets (MPMCSs) in fault trees. We model the MPMCS
problem as a Weighted Partial MaxSAT problem and solve it using a parallel
SAT-solving architecture. The results obtained with our open source tool
indicate that the approach is effective and efficient.
