用局部变量扩充基于正则表达式的时态逻辑| IEEE会议出版物| IEEE Xplore