@inproceedings(AAA+09,
 author       = "B. K. Aichernig and F. Arbab and L. Astefanoaei and F. S. de Boer and M. Sun and J. Rutten",
 year         = "2009",
 title        = "Fault-Based Test Case Generation for Component Connectors",
 booktitle    = "Proc.\ TASE 2009",
 pages        = "147--154",
 doi          = "10.1109/TASE.2009.14",
)
@incollection(Gro07:dagstuhl,
 author       = "J.F. Groote et al{.}",
 year         = "2007",
 title        = "The Formal Specification Language \texttt {mCRL2}",
 editor       = "E. Brinksma et al{.}",
 booktitle    = "Methods for Modelling Software Systems",
 publisher    = "IBFI, Schloss Dagstuhl",
 pages        = "1--34",
)
@article(Arb04:mscs,
 author       = "F. Arbab",
 year         = "2004",
 title        = "Reo: A Channel-based Coordination Model for Component Composition",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "14",
 pages        = "329--366",
 doi          = "10.1017/S0960129504004153",
)
@article(ABB+07,
 author       = "F. Arbab and C. Baier and F. \hbox {de Boer} and J. Rutten",
 year         = "2007",
 title        = "Models and Temporal Logical Specifications for Timed Component Connectors",
 journal      = "Software and Systems Modeling",
 volume       = "6",
 pages        = "59--82",
 doi          = "10.1007/s10270-006-0009-9",
)
@misc(ECT,
 author       = "F. Arbab and C. Koehler and Z. Maraikar and Y.J. Moon and J. Proenca",
 year         = "2008",
 title        = "Modeling, Testing and Executing {R}eo Connectors with the {E}clipse {C}oordination {T}ools",
 howpublished = "Tool demo session at FACS 2008",
)
@inproceedings(AKS08,
 author       = "F. Arbab and N. Kokash and M. Sun",
 year         = "2008",
 title        = "Towards Using {R}eo for Compliance-aware Business Process Modelling",
 editor       = "T. Margaria and B. Steffen",
 booktitle    = "Proc.\ ISoLA 2008",
 series       = "LNCS",
 volume       = "17",
 publisher    = "Springer",
 pages        = "108--123",
 doi          = "10.1007/978-3-540-88479-8$\_$9",
)
@article(Bai05,
 author       = "C. Baier",
 year         = "2005",
 title        = "Probabilistic Models for {R}eo Connector Circuits",
 journal      = "Journal of Universal Computer Science",
 volume       = "11",
 number       = "10",
 pages        = "1718--1748",
 doi          = "10.3217/jucs-011-10-1718",
)
@inproceedings(BBK+09,
 author       = "C. Baier and T. Blechmann and J. Klein and S. Kl\"{u}ppelholz",
 year         = "2009",
 title        = "A Uniform Framework for Modeling and Verifying Components and Connectors",
 editor       = "J. Field and V.T. Vasconcelos",
 booktitle    = "Proc.\ COORDINATION 2009",
 series       = "LNCS",
 volume       = "5521",
 publisher    = "Springer",
 pages        = "268--287",
 doi          = "10.1007/978-3-642-02053-7$\_$13",
)
@article(BSA+06,
 author       = "C. Baier and M. Sirjani and F. Arbab and J. Rutten",
 year         = "2006",
 title        = "Modeling Component Connectors in {R}eo by Constraint Automata",
 journal      = "Science of Computer Programming",
 volume       = "61",
 pages        = "75--113",
 doi          = "10.1016/j.scico.2005.10.008",
)
@inproceedings(BCS09,
 author       = "M. Bonsangue and D. Clarke and A. Silva",
 year         = "2009",
 title        = "Automata for Context-dependent Connectors",
 editor       = "J. Field and V.T. Vasconcelos",
 booktitle    = "Proc.\ COORDINATION 2009",
 series       = "LNCS",
 volume       = "5521",
 publisher    = "Springer",
 pages        = "184--203",
 doi          = "10.1007/978-3-642-02053-7$\_$10",
)
@inproceedings(BI10,
 author       = "M. Bonsangue and M. Izadi",
 year         = "2010",
 title        = "Automata Based Model Checking for {R}eo Connectors",
 booktitle    = "Proc.\ FSEN 2009",
 series       = "LNCS",
 volume       = "5961",
 publisher    = "Springer",
 pages        = "260--275",
 doi          = "10.1007/978-3-642-11623-0$\_$15",
)
@inproceedings(BZ99,
 author       = "L. du Bousquet and N. Zuanon",
 year         = "1999",
 title        = "An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software",
 booktitle    = "Proc. \ ASE'99",
 publisher    = "IEEE Computer Society",
 pages        = "208–--215",
 doi          = "10.1109/ASE.1999.802255",
)
@inproceedings(BB05,
 author       = "L. Brandan Briones and E. Brinksma",
 year         = "2005",
 title        = "A Test Generation Framework for Quiescent Real-Time Systems",
 editor       = "J. Grabowski and B. Nielsen",
 booktitle    = "Proc. \ FATES 2004",
 series       = "LNCS",
 volume       = "3395",
 publisher    = "Springer",
 pages        = "64–--78",
 doi          = "10.1007/b106767",
)
@article(CCA07,
 author       = "D. Clarke and D. Costa and F. Arbab",
 year         = "2007",
 title        = "{C}onnector Coloring {I}: Synchronization and Context Dependency",
 journal      = "Science of Computer Programming",
 volume       = "66",
 pages        = "205--225",
 doi          = "10.1016/j.scico.2007.01.009",
)
@article(CPL+10,
 author       = "D. Clarke and J. Proenca and A. Lazovik and F. Arbab",
 year         = "2011",
 title        = "Channel-based Coordination via Constraint Satisfaction",
 journal      = "Science of Computer Programming",
 volume       = "76",
 number       = "8",
 pages        = "681--710",
 doi          = "10.1016/j.scico.2010.05.004",
)
@phdthesis(Cos10,
 author       = "D. Costa",
 year         = "2010",
 title        = "Formal Models for Context Dependent Connectors for Distributed Software Components and Services",
 type         = "{PhD} thesis",
 school       = "Vrije Universiteit Amsterdam",
)
@inproceedings(FGG07,
 author       = "A. Faivre and C. Gaston and P. Le Gall",
 year         = "2007",
 title        = "Symbolic Model based Testing for Component-oriented Systems",
 editor       = "A. Petrenko et al.",
 booktitle    = "Proc. \ TestCom/FATES 2007",
 series       = "LNCS",
 volume       = "4581",
 publisher    = "Springer",
 pages        = "90--106",
 doi          = "10.1007/978-3-540-73066-8$\_$7",
)
@inproceedings(FTW05,
 author       = "L. Frantzen and J. Tretmans and T.A.C. Willemse",
 year         = "2005",
 title        = "Test Generation Based on Symbolic Specifications",
 editor       = "J. Grabowski and B. Nielsen",
 booktitle    = "Proc. FATES 2004",
 series       = "LNCS",
 volume       = "3395",
 publisher    = "Springer",
 pages        = "1--15",
 doi          = "10.1007/978-3-540-31848-$4\_1$",
)
@inproceedings(GML+07:cav,
 author       = "H. Garavel and R. Mateescu and F. Lang and W. Serwe",
 year         = "2007",
 title        = "{CADP} 2006: A Toolbox for the Construction and Analysis of Distributed Processes",
 editor       = "W. Damm and H. Hermanns",
 booktitle    = "Proc.\ CAV 2007",
 series       = "LNCS",
 volume       = "4590",
 publisher    = "Springer",
 pages        = "158--163",
 doi          = "10.1007/978-3-540-73368-3$\_$18",
)
@article(Kem09,
 author       = "S. Kemper",
 year         = "2011",
 title        = "{SAT}-based Verification for Timed Component Connectors",
 journal      = "Science of Computer Programming",
 doi          = "10.1016/j.scico.2011.02.003",
)
@inproceedings(KSA+08,
 author       = "R. Khosravi and M. Sirjani and N. Asoudeh and S. Sahebi and H. Iravanchi",
 year         = "2008",
 title        = "Modeling and Analysis of {R}eo Connectors Using {A}lloy",
 editor       = "D. Lea and G. Zavattaro",
 booktitle    = "Proc.\ COORDINATION 2008",
 publisher    = "LNCS 5052",
 pages        = "169--183",
 doi          = "10.1007/978-3-540-68265-3$\_$11",
)
@inproceedings(KCA10,
 author       = "N. Kokash and B. Changizi and F. Arbab",
 year         = "2010",
 title        = "A Semantic Model for Service Composition with Coordination Time Delays",
 editor       = "{Jin Song Dong} and {Huibiao Zhu}",
 booktitle    = "Proc.\ ICFEM 2010",
 series       = "LNCS 6447",
 pages        = "106--121",
 doi          = "10.1007/978-3-642-16901-4$\_$9",
)
@inproceedings(KKV10:fmco,
 author       = "N. Kokash and C. Krause and E.P. de Vink",
 year         = "2010",
 title        = "Verification of Context-Dependent Channel-Based Service Models",
 editor       = "F. de Boer et al.",
 booktitle    = "Proc.\ FMCO 2009",
 publisher    = "LNCS 6286",
 pages        = "21--40",
 doi          = "10.1007/978-3-642-17071-3$\_$2",
)
@article(KKV11,
 author       = "N. Kokash and C. Krause and E.P. de Vink",
 year         = "2011",
 title        = "Reo + \texttt {mCRL2}: A Framework for Model-checking Dataflow in Service Compositions",
 journal      = "Formal Aspects of Computing",
 doi          = "10.1007/s00165-011-0191-6",
)
@inproceedings(LVD09,
 author       = "N. Lohmann and E. Verbeek and R. Dijkman",
 year         = "2009",
 title        = "Petri Net Transformations for Business Processes - A Survey",
 editor       = "K. Jensen and W. van der Aalst",
 booktitle    = "Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) II",
 series       = "LNCS",
 volume       = "5460",
 publisher    = "Springer",
 pages        = "46–--63",
 doi          = "10.1007/978-3-642-00899-3$\_$3",
)
@inproceedings(Mor08,
 author       = "S. Morimoto",
 year         = "2008",
 title        = "A Survey of Formal Verification for Business Process Modeling",
 editor       = "M. Bubak et al.",
 booktitle    = "Proc.\ ICCS 2008",
 series       = "LNCS",
 volume       = "5102",
 publisher    = "Springer",
 pages        = "514–--522",
 doi          = "10.1007/978-3-540-69387-1$\_$58",
)
@inproceedings(Pet00,
 author       = "A. Petrenko",
 year         = "2000",
 title        = "Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography",
 editor       = "F. Cassez et al.",
 booktitle    = "Modeling and Verification of Parallel Processes",
 series       = "LNCS",
 volume       = "2067",
 publisher    = "Springer",
 pages        = "196–--205",
 doi          = "10.1007/3-540-45510-8$\_$10",
)
@inproceedings(STK+10,
 author       = "D. Schumm and O. Turetken and F. Leymann N. Kokash, A. Elgammal and W.-J. Heuvel",
 year         = "2010",
 title        = "Business Process Compliance through Reusable Units of Compliant Processes",
 booktitle    = "Current Trends in Web Engineering",
 series       = "LNCS",
 volume       = "6385",
 publisher    = "Springer",
 pages        = "325--337",
 doi          = "10.1007/978-3-642-16985-4$\_$29",
)
@inproceedings(TVM+08,
 author       = "S. Tasharofi and M. Vakilian and R. Z. Moghaddam and M. Sirjani",
 year         = "2008",
 title        = "Modeling Web Service Interactions Using the Coordination Language Reo",
 booktitle    = "Proc. \ WS-FM 2008",
 series       = "LNCS",
 volume       = "4937",
 publisher    = "Springer",
 pages        = "108--123",
 doi          = "10.1007/978-3-540-79230-7$\_$8",
)
@inproceedings(Tre08,
 author       = "J. Tretmans",
 year         = "2008",
 title        = "Model Based Testing with Labelled Transition Systems",
 booktitle    = "Formal Methods and Testing",
 series       = "LNCS",
 volume       = "4949",
 publisher    = "Springer",
 pages        = "1--38",
 doi          = "10.1007/978-3-540-78917-8$\_$1",
)