1277.198 유한 상태 머신 형식 모델의 한계와 확장 방향