吉莱斯·贝纳塔;弗兰克·卡塞兹;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 无干扰定时系统的综合。 （英语） Zbl 1262.68084号 Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，28-42（2009）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Benattar}等人，Lect。注释计算。科学。5813、28-42（2009年；Zbl 1262.68084） 全文： 内政部 链接
纪尧姆·加迪;约翰·马林斯;奥利维尔·H·鲁克斯。 安全时间自动机的无干扰控制综合。 （英语） 兹比尔1277.68184 Michael Backes（编辑）等人，《安全与并发国际研讨会论文集》（SecCo 2005），美国加利福尼亚州旧金山，2005年8月22日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》180，第1期，35-53（2007）。MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Gardey}等人，《电子》。注释Theor。计算。科学。180，编号1，35-53（2007；Zbl 1277.68184） 全文： 内政部