伯恩德·芬克贝纳 克里斯托弗·哈恩 马文·斯坦格 Leander Tentrup公司 RVHyper：一个用于时间超属性的运行时验证工具。 2019 abs/1906.00798 CoRR公司 http://arxiv.org/abs/1906.00798 数据库/期刊/corr/corr1906.html#abs-1906-00798