维克多·舒潘 利用时间相关性信息增强LTL的不可满足核心。 （英语） Zbl 1356.68146号 西奥。计算。科学。 655，B部分，155-192（2016）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{V.Schuppan}，Theor。计算。科学。655，B部分，155-192（2016；兹bl 1356.68146） 全文： 内政部 arXiv公司
乌里·法伦贝格；Larsen，Kim G。；Legay、Axel 实时系统的基于模型的验证、优化、综合和性能评估。 （英语） Zbl 1445.68132号 刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8050, 67-108 (2013).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Lect。注释计算。科学。8050，67--108（2013；Zbl 1445.68132） 全文： 内政部 哈尔