大卫·布雷索林；彼得·柯林斯；卢卡·杰雷蒂；罗伯特·塞加拉；蒂齐亚诺别墅；扎伊瓦诺维奇·冈萨雷斯，萨尼亚 混合自动机的可计算合成语义。 （英语） Zbl 07300859号 第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第18条，第11页（2020年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，in：第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼与虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第18条，第11页（2020；Zbl 07300859） 全文： 内政部 链接
玛尔塔·卡皮鲁比；罗伯特·塞加拉 使用世界自动机对在复杂环境中移动的对象进行建模。 （英语） Zbl 1403.93033号 van Schuppen，Jan H.（编辑）等人，《分布式系统的协调控制》。查姆：施普林格（ISBN 978-3-319-10406-5/pbk；978-3-316-10407-2/电子书）。《控制与信息科学课堂讲稿》456367-374（2015）。MSC公司：93A30型 93立方 93C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Capiluppi}和\textit{R.Segala}，莱克特。票据控制信息科学。456367-374（2015年；兹比尔1403.93033） 全文： 内政部
Dilsun K·卡纳尔。；南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 定时I/O自动机理论。 （英语） Zbl 1250.68005号 计算机科学综合讲座1.加州圣拉斐尔：Morgan&Claypool出版社（ISBN 1-59829-010-X/pbk；1-59829-101-8/电子书）。xi，101页。(2010). 审核人：马丁·兰格（卡塞尔） MSC公司：68-01 68-02 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.K.Kaynar}等人，《定时I/O自动机理论》。加利福尼亚州圣拉斐尔：Morgan&Claypool出版社（2010；Zbl 1250.68005） 全文： 内政部
南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 混合I/O自动机。 （英语） Zbl 1069.68067号 Inf.计算。 185，第1期，105-157（2003）.MSC公司：65年第68季度 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{N.Lynch}等人，《信息计算》。185，编号1，105--157（2003；Zbl 1069.68067） 全文： 内政部