斯蒂芬妮·坎佩尔 基于SAT的定时组件连接器验证。 （英语） Zbl 1279.68212号 科学。计算。程序。 77，编号7-8，779-798（2012）.MSC公司：60年第68季度 68T20型 65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Kemper}，科学。计算。程序。77，编号7--8，779--798（2012；Zbl 1279.68212） 全文： DOI程序
斯蒂芬妮·坎佩尔 基于SAT的定时组件连接器验证。 （英语） Zbl 1366.68172号 Salaün，Gwen（编辑）等人，第八届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2009），希腊罗德斯，2009年7月11日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记255，103-118（2009）。MSC公司：60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kemper}，电子。注释Theor。计算。科学。255、103——118（2009年；Zbl 1366.68172） 全文： 链接
孙孟；法哈德·阿尔巴 在资源敏感的定时组件连接器上。 （英语） Zbl 1202.68070号 Bonsange，Marcello M.（编辑）等人，开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72919-8/pbk）。计算机科学课堂讲稿4468301-316（2007）。MSC公司：64岁以下 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Meng}和\textit{F.Arbab}，莱克特。注释计算。科学。4468、301--316（2007；Zbl 1202.68070） 全文： DOI程序
克里斯特尔·拜尔；马尔詹·西尔贾尼；法哈德·阿尔巴；简·拉特 通过约束自动机在Reo中建模组件连接器。 （英语） Zbl 1105.68058号 科学。计算。程序。 61，第2期，75-113（2006）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，科学。计算。程序。61，No.2，75--113（2006；Zbl 1105.68058） 全文： DOI程序 链接