1277.187 UPPAAL을 이용한 시간 오토마타 모델링