@第{zbMATH06087630条，作者={Graf、Susanne和Peled、Doron和Quinton、Sophie}，Title={通过模型检查实现分布式控制}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={40}，数字={2}，页码={263--281}，年份={2012}，语言={英语}，DOI={10.1007/s10703-011-0138-9}，关键词={68Q85,68Q60,68M14}，zbMATH={6087630}，Zbl={1247.68185}}