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

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