Using repairable fault trees for the evaluation of design choices for critical repairable systems | IEEE Conference Publication | IEEE Xplore