A Linear Temporal Logic with Clocks for Verification of Real-Time Systems

• 带有时钟变量的线性时序逻辑与实时系统验证