1278.180 실시간 시스템에서의 상태-전이 설계 제약