1277.192 유한 상태 머신 형식 모델의 연구 동향