实时控制系统需求描述方法及其应用

• A Method for Specifying Real-Time System and it's Application