达里奥·坎帕尼亚;卡拉广场 系统生物学中的混合自动机：我们能走多远？ （英语） 兹比尔1283.92035 尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到并发性（FBTC 2008）》，冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第1期，93-108（2009）。MSC公司：92立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Campagna}和\textit{C.Piazza}，电子。注释Theor。计算。科学。229，编号1，93--108（2009；Zbl 1283.92035） 全文： DOI程序
桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 为混合系统构造不变量。 （英语） Zbl 1133.68365号 形式方法系统。设计。 32，第1号，25-55（2008）.MSC公司：65年第68季度 13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}等人，《形式方法系统》。设计。32，编号1，25-55（2008；Zbl 1133.68365） 全文： DOI程序