安吉洛·布里洛特;他，楠楠;米歇尔，马祖奇;丹尼尔·克罗宁;米特拉·普兰达尔;菲利普·吕默;乔治·威森巴赫 Simulink模型基于变异的测试用例生成。 （英语） Zbl 1312.68130号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286208-227（2010）。MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Brillout}等人，Lect。注释计算。科学。6286208--227（2010年；Zbl 1312.68130） 全文： 内政部
杰拉德·巴斯勒;米歇尔·马祖奇;托马斯·沃尔;丹尼尔·克罗宁 上下文软件计数器抽象。 （英语） Zbl 1213.68362号 形式方法系统。设计。 36，第3期，223-245（2010年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Basler}等人，《形式方法系统》。设计。36，第3号，223--245（2010；Zbl 1213.68362） 全文： 内政部 链接
Gérard巴斯勒;米歇尔·马祖奇;托马斯·沃尔;丹尼尔·克罗宁 并发软件的符号计数器抽象。 （英语） Zbl 1242.68055号 Bouajjani，Ahmed（编辑）等人，《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02657-7/pbk）。计算机科学讲座笔记5643，64-78（2009）。MSC公司：68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Basler}等人，Lect。注释计算。科学。5643、64--78（2009年；Zbl 1242.68055） 全文： 内政部