A methodology to clarify logical relationship among failure modes and determine system probabilities. (July 2021)