实时系统的模型检验中针对共享变量的优化技术

• Optimization Technique for Shared Variables in Real-time System Model-Checking