乌里·法伦贝格；拉森，金·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） 全文： DOI程序 哈尔
蒂莫西·布鲁克；亚历山大·戴维；拉森，金·G。；Legay、Axel；莱姆，迪迪埃；乌尔里克·尼曼；安德热·瓦索夫斯基 定时规格的新结果。 （英语） Zbl 1312.68129号 Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学课堂讲稿7137175-192（2012）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Bourke}等人，Lect。注释计算。科学。7137175--192（2012年；Zbl 1312.68129） 全文： DOI程序 链接
彼得·布里切夫；托马斯·查泰恩；亚历山大·戴维；拉森，金·G。 用于检查交替计时模拟的高效实时算法。 （英语） Zbl 1262.68105号 Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，73-87（2009）。MSC公司：60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人，Lect。注释计算。科学。5813、73--87（2009年；Zbl 1262.68105） 全文： DOI程序
张苗苗；刘志明；查尔斯·莫里塞特；安德斯·拉文。 容错组件的设计和验证。 （英语） 兹比尔12346.8040 Michael Butler（编辑）等人，容错方法、模型和工具。柏林：施普林格出版社（ISBN 978-3-642-00866-5/pbk）。计算机科学课堂讲稿5454，57-84（2009）。MSC公司：68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Zhang}等人，Lect。注释计算。科学。5454、57--84（2009年；Zbl 1234.68040） 全文： DOI程序
贾斯珀·贝伦德森；Vaandrager，Frits公司 实时模型检查中的组合抽象。 （英语） Zbl 1171.68545号 Cassez，Franck（编辑）等，时间系统的形式化建模和分析。2008年9月15日至17日，第六届国际会议，FORMATS 2008，法国圣马洛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。计算机科学课堂讲稿5215，233-249（2008）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Berendsen}和\textit{F.Vaandrager}，莱克特。注释计算。科学。5215233-249（2008年；Zbl 1171.68545） 全文： DOI程序