@收款{zbMATH07300873，作者={Ozay，Necmiye}，Title={触发间混合自动机：责任敏感安全的形式主义}，BookTitle={第23届ACM混合系统国际会议论文集：计算和控制，HSCC 2020，悉尼，澳大利亚和虚拟，2020年4月21日至24日}，国际标准图书编号={978-1-4503-7018-9}，页码={2}，注={Id/No 32}，年份={2020年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3365365.3383470}，关键词={68Q45,68Q60,93C30}，zbMATH={7300873}}