@正在进行{DBLP:conf/memocode/BozzanoCRKNN09，author={Marco Bozzano和亚历山德罗·西马蒂和Marco Roveri和乔斯特{-}皮特卡托恩和越南日元和托马斯·诺尔，title={可靠系统的协同设计：{A}基于组件的建模语言}，booktitle={第七届{ACM/IEEE}形式方法和模型国际会议2009年7月13日至15日，马萨诸塞州剑桥，Codesign{（MEMOCODE}2009），{美国}}，页数={121--130}，publisher={{IEEE}}，年份={2009}，url={https://doi.org/10.109/MEMCOD.2009.5185388},doi={10.1109/MEMCOD.2009.5185388}，timestamp={2021年10月14日星期四10:32:49+0200}，比布尔={https://dblp.org/rec/conf/memocode/BozzanoCRKNN09.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}