다음 중 시스템에서 가능한 사상들의 다양한 조합을 AND, OR 등의 논리 기호를 이용해 표현하여 재해의 발생 원인과 확률을 분석하는 시스템 안전 분석 기법은?