时间自动机MITL片段的有界模型检查| IEEE会议出版物| IEEE Xplore