FAMOCUTN and CUTQN: programs for fast analysis of large fault trees with replicated and negated gates | IEEE Journals & Magazine | IEEE Xplore