普罗姆斯基，A.V。 C程序验证的问题。 （英语） Zbl 1374.68297号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 29, 89-105 (2009).MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Promsky}，Jt。牛市。NCC IIS，序列号。计算。科学。29、89——105（2009年；Zbl 1374.68297） 全文： 链接
拉胡尔·库马尔;埃里克·默瑟。;安妮特·邦克 改进实时序列图到时序逻辑的转换。 （英语） Zbl 1339.68168号 Michael Goldsmith（编辑）等人，《关键系统自动验证第七届国际研讨会论文集》（AVoCS 2007），英国牛津，2007年9月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第1期，137-152（2009）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kumar}等人，《电子》。注释Theor。计算。科学。250，编号1，137--152（2009；Zbl 1339.68168） 全文： 内政部 OA许可证
米尔科·康拉德 IEC 61508上下文中生成代码的基于测试的翻译验证。 （英语） Zbl 1185.68411号 形式方法系统。设计。 35，第3期，389-401（2009）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Conrad}，《形式方法系统》。设计。35，编号3389-401（2009年；兹bl 1185.68411） 全文： 内政部
埃米利亚·奥伊卡里宁;汤米·詹胡宁 基于翻译的模块等价性验证方法。 （英语） Zbl 1192.68131号 J.日志。计算。 19，第4期，591-613（2009）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Oikarinen}和\textit{T.Janhunen}，J.Log。计算。19，第4号，591--613（2009；Zbl 1192.68131） 全文： 内政部