1278.160 상태-전이-이벤트의 문서화 표준