Rauzy, Antoine Mathematical Foundations of Minimal Cutsets - 389-396 p. Subjects--Topical Terms: Binary Decision DiagramFault TreesMinimal Cutset Identification