@phdthesis(All97:phd,
 author       = "R.J. Allen",
 year         = "1997",
 title        = "A Formal Approach to Software Architectures",
 school       = "Carnegie Mellon University",
)
@incollection(ads6,
 author       = "S. Andova and L.P.J. Groenewegen and J.H.S. Verschuren and E.P. de Vink",
 year         = "2009",
 title        = "Architecting Security with {Paradigm}",
 booktitle    = "Architecting Dependable Systems VI",
 publisher    = "LNCS 5835",
 pages        = "255--283",
 doi          = "10.1007/978-3-642-10248-6\_11",
)
@article(scp10,
 author       = "S. Andova and L.P.J. Groenewegen and E.P. de Vink",
 year         = "2010",
 title        = "Dynamic Consistency in Process Algebra: From {Paradigm} to {ACP}",
 journal      = "Science of Computer Programming",
 doi          = "10.1016/j.scico.2010.04.011",
)
@inproceedings(isola2010,
 author       = "S. Andova and L.P.J. Groenewegen and E.P. de Vink",
 year         = "2010",
 title        = "Towards Dynamic Adaptation of Probabilistic Systems",
 editor       = "T. Margaria and B. Steffen",
 booktitle    = "Proc.\ ISOLA 2010",
 publisher    = "LNCS 6416",
 pages        = "143--159",
 doi          = "10.1007/978-3-642-16561-0\_19",
)
@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",
)
@book(BBR10,
 author       = "J.C.M. Baeten and T. Basten and M.A. Reniers",
 year         = "2010",
 title        = "Process Algebra: Equational Theories of Communicating Processes",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "50",
 publisher    = "CUP",
)
@inproceedings(EHMG02,
 author       = "G. Engels and R. Heckel and J.M. K\"{u}ster and L. Groenewegen",
 year         = "2002",
 title        = "Consistency-Preserving Model Evolution through Transformations",
 editor       = "J.-M. J{\'e}z{\'e}quel and H. Hu{\ss }mann and S. Cook",
 booktitle    = "Proc.\ UML 2002",
 publisher    = "LNCS 2460",
 pages        = "212--226",
 doi          = "10.1007/3-540-45800-X\_18",
)
@article(GW96,
 author       = "R.J. van Glabbeek and P. Weijland",
 year         = "1996",
 title        = "Branching time and abstraction in bisimulation semantics",
 journal      = "Journal of the ACM",
 volume       = "43",
 pages        = "555--600",
 doi          = "10.1145/233551.233556",
)
@inproceedings(GV02,
 author       = "L. Groenewegen and E. de Vink",
 year         = "2002",
 title        = "Operational Semantics for Coordination in {Paradigm}",
 editor       = "F. Arbab and C. Talcott",
 booktitle    = "Proc.\ Coordination 2002",
 publisher    = "LNCS 2315",
 pages        = "191--206",
 doi          = "10.1007/3-540-46000-4\_20",
)
@inproceedings(coord06,
 author       = "L. Groenewegen and E. de Vink",
 year         = "2006",
 title        = "Evolution-On-The-Fly with {Paradigm}",
 editor       = "P. Ciancarini and H. Wiklicky",
 booktitle    = "Proc.\ Coordination 2006",
 publisher    = "LNCS 4038",
 pages        = "97--112",
 doi          = "10.1007/11767954\_7",
)
@incollection(JFGDagstuhl,
 author       = "J.F. {Groote et al.}",
 year         = "2007",
 title        = "The Formal Specification Language {mCRL2}",
 editor       = "E. Brinksma et al.",
 booktitle    = "Methods for Modelling Software Systems",
 publisher    = "IBFI, Schloss Dagstuhl",
)
@inproceedings(sefm2010,
 author       = "N. Kokash and C. Koehler and E.P. de Vink",
 year         = "2010",
 title        = "Time and Data-Aware Analysis of Graphical Service Models in Reo",
 editor       = "J.L. Fiadeiro A. Maggiolo-Schettini and S. Gnesi",
 booktitle    = "Proc.\ SEFM 2010",
 publisher    = "IEEE",
 pages        = "125--134",
 doi          = "10.1109/SEFM.2010.26",
)
@phdthesis(Kra11:phd,
 author       = "C. Krause",
 year         = "2011",
 title        = "Reconfigurable Component Connectors",
 school       = "Leiden University",
)
@phdthesis(kuester,
 author       = "J.M. K\"uster",
 year         = "2004",
 title        = "Consistency Management of Object-Oriented Behavioral Models",
 school       = "University of Paderborn",
)
@article(KNP09,
 author       = "M.Z. Kwiatkowska and G. Norman and D. Parker",
 year         = "2009",
 title        = "PRISM: probabilistic model checking for performance and reliability analysis",
 journal      = "SIGMETRICS Performance Evaluation Review",
 volume       = "36",
 pages        = "40--45",
 doi          = "10.1145/1530873.1530882",
)
@article(MORW08,
 author       = "M. M\"{o}ller and E.-R. Olderog and H. Rasch and H. Wehrheim",
 year         = "2008",
 title        = "Integrating a formal method into a software engineering process with {UML} and {Java}",
 journal      = "Formal Aspects of Computing",
 pages        = "161--204",
 doi          = "10.1007/s00165-007-0042-7",
)
@inproceedings(PNMC07,
 author       = "M.A. P\'{e}rez-Toledano and A. Navasa and J.M. Murillo and C. Canal",
 year         = "2007",
 title        = "{TITAN}: a Framework for Aspect-Oriented System Evolution",
 booktitle    = "Proc.\ ICSEA 2007, Cap Esterel",
 publisher    = "IEEE",
 doi          = "10.1109/ICSEA.2007.77",
)
@inproceedings(RB05,
 author       = "N.F. Rodrigues and L.S. Barbosa",
 year         = "2005",
 title        = "Architectural Prototyping: From {CCS} to {.Net}",
 editor       = "A. Mota and A.V. Moura",
 booktitle    = "Proc.\ SBMF 2004",
 publisher    = "ENTCS 130",
 pages        = "151--167",
 doi          = "10.1016/j.entcs.2005.03.009",
)
@article(SMSB05,
 author       = "M. Sirjani and A. Movaghar and A. Shali and F.S. de Boer",
 year         = "2004",
 title        = "Modeling and Verification of Reactive Systems using {Rebeca}",
 journal      = "Fundamenta Informaticae",
 volume       = "63",
 pages        = "385--410",
 doi          = "10.1.1.107.2074",
)