
Keywords: Aggregated binary decision diagram; Fault level coverage; Parallel systems; Phased-mission systems; Reliability modeling; ABDD; Aggregated binary decision diagram; BDD; Binary decision diagram; FLC; Fault level coverage; IFC; Imperfect fault coverage; MDD