乌里·法伦贝格；金·古德斯特兰·拉森；Legay、Axel；路易斯·马里·特劳努埃兹 模态转换系统的参数和定量扩展。 （英语） Zbl 1416.68121号 Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。第8415页，第84-97页（2014年）。MSC公司：68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Lect。票据计算。科学。8415、84-97（2014年；Zbl 1416.68121） 全文： 内政部
Larsen，Kim G。；Legay、Axel；路易斯·马里·特劳努埃兹；安德烈·索夫斯基 实时系统的鲁棒综合。 （英语） Zbl 1311.68088号 西奥。计算。科学。 515, 96-122 (2014).MSC公司：第68季度第60季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Theor。计算。科学。515、96-122（2014年；Zbl 1311.68088） 全文： 内政部 哈尔
Larsen，Kim G。；Legay、Axel；路易斯·马里·特劳努埃兹；安德烈·索夫斯基 实时组件的稳健规范。 （英语） Zbl 1348.68143号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，129-144（2011）。MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛K.G.Larsen｝等人，Lect。票据计算。科学。6919、129--144（2011；Zbl 1348.68143） 全文： 内政部 哈尔