@第{zbMATH05607430条，作者={加斯丁、保罗和斯兹纳杰尔、纳塔利和泽顿、马克}，标题={良好连接架构的分布式合成}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积＝{34}，数字={3}，页码={215--237}，年份={2009}，语言={英语}，DOI={10.1007/s10703-008-0064-7}，关键词={68M14,68Q60}，zbMATH={5607430}，Zbl={1180.68056}}