1278.187 상태-전이-이벤트 설계의 발전 방향