RTCS: A Method of Real-Time Component Specification with Precise Semantics

• 一种具有精确语义的实时构件描述机制