弗兰克·卡塞兹；罗恩·范德梅登；张晨毅 信息流安全同步概念的复杂性。 （英语） Zbl 1339.68111号 西奥。计算。科学。 631, 16-42 (2016).MSC公司：65年第68季度 64岁以下 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人，Theor。计算。科学。631、16-42（2016年；Zbl 1339.68111） 全文： 内政部 arXiv公司
弗兰克·卡塞兹；杰雷米·杜布雷尔；埃尔文·马尔坎德 用静态和动态掩模合成不透明系统。 （英语） Zbl 1247.68161号 形式方法系统。设计。 40，第1期，88-115（2012）.MSC公司：60年第68季度 68米15 65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人，《形式方法系统》。设计。40，第1号，88--115（2012；Zbl 1247.68161） 全文： 内政部 哈尔
吉莱斯·贝纳塔；弗兰克·卡塞兹；莱姆，迪迪埃；奥利维尔·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） 全文： 内政部 链接