ZBMaX中的参考文献（80篇）2篇标准文章）

1. Marmsoler，迭戈；Gidiy，Habtom Kashay：FACTUM中建筑设计模式的交互验证（2019）
2. 赖西格，沃尔夫冈：具有双面接口的组件的组合构图（2019）
3. Bresolin，Davide；LANES，伊凡：最一般的属性保持更新（2017）
4. Dokter，Kasper；琼曼斯，Sung Shik；阿巴布，Farhad；博莱兹，西蒙：联合与征服：有关BIP和Reo（2017）
5. EvrRad，HuGues；郎，Fr.E.EdRiR:由多路交会的异步进程的正式模型生成的自动分布式代码生成（2017）
6. 阿蒂，保罗；巴拉诺夫，Eduard；布吕兹，西蒙；贾比尔，Mohamad；萨弗基斯，萨弗基斯：建筑可组合性的一般框架（2016）
7. Cassel，Sofia；霍华尔，法尔克；Jonsson，Bengt；斯特芬，伯恩哈德：扩展有限状态机的主动学习（2016）
8. Jongmans，Sung Suk T.Q.；ARBAB，FARDA:约束自动机的数据优化（2016）
9. 奥利维拉，Marcel V. M.；安东尼诺，P；拉莫斯，R；桑帕约，A.；莫塔岛，A；罗斯科，A. W.：基于组件元数据和模式的基于组件的系统的严格开发（2016）
10. Aceto，卢卡；Goalac，Eugen Ioan；IgopfsdodoTIR，安娜：琳达（2015）上无状态二元性的地面完备公理化
11. 布吕尼，罗伯托；MelGalTi，Hern n；Muntali，乌戈：状态连接器的标准形式（2015）
12. Jongmans，Sung Suk T.Q.；ARBAB，Farhad：在编译器生成的协议代码中，高吞吐量可以弥补高延迟吗？（2015）
13. 克莱因，约阿希姆；Baier，克里斯特尔；KL PopelHoz，Sascha：大多数通用控制器的组成结构（2015）
14. 萨弗基斯，约瑟夫；Bensalem，Saddek；BuluZez，西蒙；BoZGA，马吕斯：基于组件的设计理论议程（2015）
15. Moon，Young Joo；席尔瓦，亚历山德拉；克劳斯，克里斯汀；Arbab，Farhad：随机Reo连接器端到端QoS原因的组合模型（2014）
16. 布吕尼，罗伯托；MelGalTi，赫尔南；蒙大拿，Ugo；Sobocinski，PaWel: C/E和P/T网相互作用的连接代数（2013）
17. Bonakdarpour，Borzoo；BoZGA，马吕斯；贾比尔，Mohamad；CuiBuuf，姬恩；萨弗基斯，约瑟夫：一个基于组件的模型的自动化分布式实现框架（2012）
18. Boangangue，马塞洛；克拉克，戴夫；席尔瓦，亚历山德拉：上下文相关的组件连接器模型（2012）
19. Groote，Jan Friso；Kouter，提姆W.D.M.；Osaiweran，阿马尔：避免状态空间爆炸问题的规范指南（2012）
20. Jongmans，宋雪克，阿巴布，法拉德：Reo的三十种语义形式主义综述（2012）