실시간 분산 소프트웨어의 순차적 동기적 속성의 명세에 관한 연구 ( A Study on Specification of Temporal and Synchronization Property of Real-Time Distributed Software )