达姆，沃纳；海宁·迪尔克斯；延斯·奥勒金；阿米尔·普努利 面向基于组件的混合系统设计：安全性和稳定性。 （英语） Zbl 1288.68162号 Manna，Zohar（编辑）等人，《验证时间》。纪念埃米尔·普努利的散文。柏林：施普林格出版社（ISBN 978-3-642-13753-2/pbk）。计算机科学讲稿6200，96-143（2010）。MSC公司：60年第68季度 93亿B51 93立方 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人，Lect。注释计算。科学。6200、96——143（2010年；Zbl 1288.68162） 全文： DOI程序
弗兰克·卡塞兹；Jan J.杰森。；Larsen，Kim G。；让-弗朗索瓦·拉斯金；皮埃尔·阿莱·雷尼尔 鲁棒和最优控制器的自动综合——一个工业案例研究。 （英语） Zbl 1237.93058号 Majumdar，Rupak（编辑）等人，《混合系统：计算与控制》。2009年4月13日至15日在美国加利福尼亚州旧金山举行的2009年HSCC第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00601-2/pbk）。计算机科学课堂讲稿5469，90-104（2009）。MSC公司：93亿B51 93亿B50 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人，Lect。注释计算。科学。5469、90-104（2009年；Zbl 1237.93058） 全文： DOI程序
A.Agung朱利叶斯；Fainekos、Georgios E。；马杜卡尔·阿南德；Lee，Insup公司；乔治·帕帕斯。 混合系统的稳健测试生成和覆盖。 （英语） Zbl 1221.93076号 Bempoad，Alberto（编辑）等人，《混合系统：计算和控制》。2007年4月3日至5日在意大利比萨举行的2007年HSCC第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71492-7/pbk）。计算机科学课堂讲稿4416，329-342（2007）。MSC公司：93亿B51 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Julius}等人，Lect。注释计算。科学。4416，329--342（2007；Zbl 1221.93076） 全文： DOI程序