乌里·克莱因；尼尔·皮特曼；阿米尔·普努利 根据GR（1）规范有效综合异步系统。 （英语） Zbl 1326.68186号 Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148283-298（2012）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Klein}等人，Lect。票据计算。科学。7148283--298（2012；Zbl 1326.68186） 全文： 内政部 链接
乌里·克莱因；阿米尔·普努利 重新审视GR（1）规范的合成。 （英语） Zbl 1325.68151号 Barner，Sharon（编辑）等人，《硬件和软件：验证和测试》。2010年10月4日至7日，以色列海法HVC 2010第六届国际海法验证会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19582-2/pbk）。计算机科学课堂讲稿6504161-181（2011）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Klein}和\textit{A.Pnueli}，莱克特。票据计算。科学。6504161-181（2011；Zbl 1325.68151） 全文： 内政部