1277.68 유한 상태 머신의 안전성 속성 검증