拉杰夫·阿鲁尔;艾哈迈德·博阿贾尼;哈维尔·埃斯帕尔扎 模型检查程序程序。 （英语） 兹比尔1392.68226 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。541-572 (2018).MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，in：模型检查手册。查姆：斯普林格。541--572（2018；Zbl 1392.68226） 全文： 内政部 链接
哈维尔·埃斯帕尔扎;安东·库切拉;斯特凡·施温 模型检查LTL，定期评估下推系统。 （英语） Zbl 1078.68081号 Inf.计算。 186，第2期，355-376（2003）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人，《信息计算》。186，编号2，355--376（2003；Zbl 1078.68081） 全文： 内政部