1278.153 상태-전이 설계의 정적 분석 기법