Finding of minimum cutsets and optimization: Minimum cutsets are determined from the Boolean (Greenberg & Slater, 1992). If the problem has been structurally moduled, then each module is solved
independently, and the results are combined. The minimum cutsets are then optimized using an appropriate
technique. Optimization is necessary in order to eliminate the unimportant paths (cutsets).