Formalizing Real-time Specification Using the Timed Temporal Logic in PVS

• 实时系统形式规格说明在PVS中的建立