@article(reo,
 author       = {Farhad Arbab},
 year         = {2004},
 title        = {Reo: {A} channel-based coordination model for component composition},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {14},
 number       = {3},
 pages        = {329--366},
 doi          = {10.1017/S0960129504004153},
)
@article(AttieBBJS15-architectures-faoc,
 author       = {Paul Attie and Eduard Baranov and Simon Bliudze and Mohamad Jaber and Joseph Sifakis},
 year         = {2015},
 title        = {A General Framework for Architecture Composability},
 journal      = {Formal Aspects of Computing},
 pages        = {1--25},
 doi          = {10.1007/s00165-015-0349-8},
)
@article(algconn,
 author       = {Simon Bliudze and Joseph Sifakis},
 year         = {2008},
 title        = {The Algebra of Connectors --- {Structuring} Interaction in {BIP}},
 journal      = {{IEEE} Transactions on Computers},
 volume       = {57},
 number       = {10},
 pages        = {1315--1330},
 doi          = {10.1109/TC.2008.26},
)
@article(adr,
 author       = {Roberto Bruni and Lluch-Lafuente, Alberto and Ugo Montanari and Emilio Tuosto},
 year         = {2008},
 title        = {Style-Based architectural reconfigurations},
 journal      = {Bulletin of the EATCS},
 volume       = {94},
 pages        = {161--180},
)
@book(daigneau2011service,
 author       = {Robert Daigneau},
 year         = {2011},
 title        = {Service design patterns: {F}undamental design solutions for {SOAP/WSDL} and restful Web Services},
 publisher    = {Addison-Wesley},
)
@article(mapreduce,
 author       = {Jeffrey Dean and Sanjay Ghemawat},
 year         = {2008},
 title        = {{MapReduce}: Simplified Data Processing on Large Clusters},
 journal      = {Commun. ACM},
 volume       = {51},
 number       = {1},
 pages        = {107--113},
 doi          = {10.1145/1327452.1327492},
)
@inproceedings(darwin,
 author       = {Ioannis Georgiadis and Jeff Magee and Jeff Kramer},
 year         = {2002},
 title        = {Self-organising software architectures for distributed systems},
 booktitle    = {Proceedings of the first workshop on Self-healing systems},
 organization = {ACM},
 pages        = {33--38},
 doi          = {10.1145/582128.582135},
)
@incollection(montanari99-graphs,
 author       = {Dan Hirsch and Paola Inverardi and Ugo Montanari},
 year         = {1999},
 title        = {Modeling software architectures and styles with graph grammars and constraint solving},
 editor       = {Patrick Donohoe},
 booktitle    = {Software Architecture},
 series       = {IFIP},
 volume       = {12},
 publisher    = {Springer},
 pages        = {127--143},
 doi          = {10.1007/978-0-387-35563-4\_8},
)
@book(Hohpe:2003:EIP:940308,
 author       = {Gregor Hohpe and Bobby Woolf},
 year         = {2003},
 title        = {Enterprise integration patterns: designing, building, and deploying messaging solutions},
 publisher    = {Addison-Wesley Longman Publishing Co., Inc.},
 address      = {Boston, MA, USA},
)
@manual(iso2011,
 organization = {ISO/IEC/IEEE 42010},
 year         = {2011},
 title        = {Systems and software engineering --- Architecture description},
)
@techreport(ivers2004documenting,
 author       = {James Ivers and Paul Clements and David Garlan and Robert Nord and Bradley Schmerl and Jaime R Silva},
 year         = {2004},
 title        = {Documenting component and connector views with {UML} 2.0},
 type         = {Technical Report},
 institution  = {DTIC Document},
)
@article(alloy,
 author       = {Daniel Jackson},
 year         = {2002},
 title        = {Alloy: {A} Lightweight Object Modelling Notation},
 journal      = {ACM Trans. Softw. Eng. Methodol.},
 volume       = {11},
 number       = {2},
 pages        = {256--290},
 doi          = {10.1145/505145.505149},
)
@article(kim2010analyzing,
 author       = {Jung Soo Kim and David Garlan},
 year         = {2010},
 title        = {Analyzing architectural styles},
 journal      = {Journal of Systems and Software},
 volume       = {83},
 number       = {7},
 pages        = {1216--1235},
 doi          = {10.1016/j.jss.2010.01.049},
)
@article(koehler2008connector,
 author       = {Christian Koehler and Alexander Lazovik and Farhad Arbab},
 year         = {2008},
 title        = {Connector rewriting with high-level replacement systems},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {194},
 number       = {4},
 pages        = {77--92},
 doi          = {10.1016/j.entcs.2008.03.100},
)
@inproceedings(kramer1990configuration,
 author       = {Jeff Kramer},
 year         = {1990},
 title        = {Configuration programming --- {A} framework for the development of distributable systems},
 booktitle    = {CompEuro'90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering},
 organization = {IEEE},
 pages        = {374--384},
)
@article(krause2011modeling,
 author       = {Christian Krause and Ziyan Maraikar and Alexander Lazovik and Farhad Arbab},
 year         = {2011},
 title        = {Modeling dynamic reconfigurations in {Reo} using high-level replacement systems},
 journal      = {Sci. of Comp. Prog.},
 volume       = {76},
 number       = {1},
 pages        = {23--36},
 doi          = {10.1016/j.scico.2009.10.006},
)
@article(metayer98,
 author       = {Le M{\'e}tayer, Daniel},
 year         = {1998},
 title        = {Describing software architecture styles using graph grammars},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {24},
 number       = {7},
 pages        = {521--533},
 doi          = {10.1109/32.708567},
)
@article(malavolta2013industry,
 author       = {Ivano Malavolta and Patricia Lago and Henry Muccini and Patrizio Pelliccione and Anthony Tang},
 year         = {2013},
 title        = {What industry needs from architectural languages: A survey},
 journal      = {Software Engineering, IEEE Transactions on},
 volume       = {39},
 number       = {6},
 pages        = {869--891},
 doi          = {10.1109/TSE.2012.74},
)
@inproceedings(cl-mas,
 author       = {Anastasia Mavridou and Eduard Baranov and Simon Bliudze and Joseph Sifakis},
 year         = {2015},
 title        = {Configuration Logics: Modelling Architecture Styles},
 booktitle    = {Formal Aspects of Component Software - 12th International Conference, {FACS} 2015, Niter{\'{o}}i, Brazil},
 pages        = {256--274},
 doi          = {10.1007/978-3-319-28934-2\_14},
)
@techreport(MBBS16-Diagrams-TR,
 author       = {Anastasia Mavridou and Eduard Baranov and Simon Bliudze and Joseph Sifakis},
 year         = {2016},
 title        = {Architecture Diagrams --- {A} Graphical Language for Architecture Style Specification},
 type         = {Technical Report},
 number       = {215210},
 institution  = {EPFL},
 note         = {Available at: \url{http://infoscience.epfl.ch/record/215210}},
)
@article(medvidovic2000classification,
 author       = {Nenad Medvidovic and Richard N Taylor},
 year         = {2000},
 title        = {A classification and comparison framework for software architecture description languages},
 journal      = {Software Engineering, IEEE Transactions on},
 volume       = {26},
 number       = {1},
 pages        = {70--93},
 doi          = {10.1109/32.825767},
)
@misc(umlSpecs,
 title        = {{OMG} {U}nified {M}odeling {L}anguage {(OMG UML) specification, Version 2.5}},
 howpublished = {\url{http://www.omg.org/spec/UML/2.5/}},
 note         = {(Accessed on 17/03/2016)},
)
@inproceedings(ozkaya2013we,
 author       = {Mert Ozkaya and Christos Kloukinas},
 year         = {2013},
 title        = {Are we there yet? Analyzing architecture description languages for formal analysis, usability, and realizability},
 booktitle    = {Software Engineering and Advanced Applications (SEAA), 2013 39th EUROMICRO Conference on},
 organization = {IEEE},
 pages        = {177--184},
 doi          = {10.1109/SEAA.2013.34},
)
@article(Papadopoulos1998329,
 author       = {George A. Papadopoulos and Farhad Arbab},
 year         = {1998},
 title        = {Coordination Models and Languages},
 journal      = {Advances in Computers},
 volume       = {46},
 doi          = {10.1016/S0065-2458(08)60208-9},
)
@article(perry1992foundations,
 author       = {Dewayne E Perry and Alexander L Wolf},
 year         = {1992},
 title        = {Foundations for the study of software architecture},
 journal      = {ACM SIGSOFT Software Engineering Notes},
 volume       = {17},
 number       = {4},
 pages        = {40--52},
 doi          = {10.1145/141874.141884},
)
@book(rozenberg1997handbook,
 editor       = {Grzegorz Rozenberg},
 year         = {1997},
 title        = {Handbook of graph grammars and computing by graph transformation},
 publisher    = {World Scientific},
)
@book(shaw1996software,
 author       = {Mary Shaw and David Garlan},
 year         = {1996},
 title        = {Software architecture: perspectives on an emerging discipline},
 volume       = {1},
 publisher    = {Prentice Hall Englewood Cliffs},
)
@article(wermelinger2001graph,
 author       = {Michel Wermelinger and Ant{\'o}nia Lopes and Jos{\'e} Luiz Fiadeiro},
 year         = {2001},
 title        = {A graph based architectural (re)configuration language},
 journal      = {ACM SIGSOFT Software Engineering Notes},
 volume       = {26},
 number       = {5},
 pages        = {21--32},
 doi          = {10.1145/503209.503213},
)
@inproceedings(woods2005architecture,
 author       = {Eoin Woods and Rich Hilliard},
 year         = {2005},
 title        = {Architecture description languages in practice session report},
 booktitle    = {Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05)},
 organization = {IEEE Computer Society},
 pages        = {243--246},
 doi          = {10.1109/WICSA.2005.15},
)