Failure Mode Reasoning in Model Based Safety Analysis · Study