米查尔·科内奇;瓦利德·塔哈;费伦茨·巴尔塔。;简·杜拉茨;亚当·杜拉茨;亚伦·D·埃姆斯。 封闭混合自动机在Zeno点前后的行为。 （英语） Zbl 1336.93085号 非线性分析。，混合系统。 20, 1-20 (2016).MSC公司：93立方 93B40码 37号35 PDF格式BibTeX公司 XML格式引用 \textit{M.Konečn}等人，《非线性分析》。，混合系统。20，1--20（2016；Zbl 1336.93085） 全文： 内政部
石井、大辅;直纪延崎;亚历山大·戈德斯特恩 使用区间分析监控有界LTL属性。 （英语） Zbl 1351.68163号 Bogomolov，Sergiy（编辑）等人，基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》317，85-100（2015）。MSC公司：60年第68季度 03B44号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.石井}等人，《电子》。注释Theor。计算。科学。31785-100（2015年；Zbl 1351.68163） 全文： 内政部 arXiv公司