Repairable fault tree for the automatic evaluation of repair policies | IEEE Conference Publication | IEEE Xplore