1278.182 상태-전이-이벤트 설계의 도구 지원