大卫·布雷索林;彼得·柯林斯;卢卡·杰雷蒂;罗伯特·塞加拉;蒂齐亚诺别墅;扎伊瓦诺维奇·冈萨雷斯，萨尼亚 混合自动机的可计算和组合语义。 （英语） 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.93140号 van Schuppen，Jan H.（编辑）等人，《分布式系统的协调控制》。查姆：施普林格（ISBN 978-3-319-10406-5/pbk；978-3-316-10407-2/电子书）。《控制与信息科学课堂讲稿》456347-355（2015）。MSC公司：93C85号 93个B03 90B25型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。票据控制信息科学。456347-355（2015年；Zbl 1403.93140） 全文： 内政部
大卫·布雷索林;卢卡·杰雷蒂;蒂齐亚诺别墅;彼得·柯林斯 混合系统验证介绍阿里阿德涅. （英语） Zbl 1403.93108号 van Schuppen，Jan H.（编辑）等人，《分布式系统的协调控制》。查姆：施普林格（ISBN 978-3-319-10406-5/pbk；978-3-316-10407-2/电子书）。《控制与信息科学课堂讲稿》456339-346（2015）。MSC公司：93立方 93B40码 93个B03 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。票据控制信息科学。456339-346（2015；Zbl 1403.93108） 全文： 内政部