@article(Abowd1995,
 author       = {Gregory~D Abowd and Robert Allen and David Garlan},
 year         = {1995},
 title        = {Formalizing Style to Understand Descriptions of Software Architecture},
 journal      = {TOSEM},
 doi          = {10.1145/226241.226244},
)
@incollection(Allen1998,
 author       = {Robert Allen and Remi Douence and David Garlan},
 year         = {1998},
 title        = {Specifying and Analyzing Dynamic Software Architectures},
 booktitle    = {FASE},
 doi          = {10.1007/bfb0053581},
)
@techreport(Allen1997,
 author       = {Robert~J Allen},
 year         = {1997},
 title        = {A Formal Approach to Software Architecture.},
 type         = {Technical Report},
 institution  = {DTIC Document},
)
@book(Baier:2008:PMC:1373322,
 author       = {Christel Baier and Joost-Pieter Katoen},
 year         = {2008},
 title        = {Principles of Model Checking (Representation and Mind Series)},
 publisher    = {The MIT Press},
)
@inproceedings(Bernardo2000,
 author       = {Marco Bernardo and Paolo Ciancarini and Lorenzo Donatiello},
 year         = {2000},
 title        = {On the Formalization of Architectural Types with Process Algebras},
 booktitle    = {ACM SIGSOFT SEN},
 doi          = {10.1145/357474.355064},
)
@incollection(Bratthall2000,
 author       = {Lars Bratthall and Enrico Johansson and Bj{\"o}rn Regnell},
 year         = {2000},
 title        = {Is a Design Rationale Vital when Predicting Change Impact? --A Controlled Experiment on Software Architecture Evolution},
 booktitle    = {PROFES},
 doi          = {10.1007/978-3-540-45051-1\_14},
)
@inproceedings(Broy1996,
 author       = {Manfred Broy},
 year         = {1996},
 title        = {Algebraic Specification of Reactive Systems},
 booktitle    = {AMAST},
 doi          = {10.1007/bfb0014335},
)
@incollection(Broy2014,
 author       = {Manfred Broy},
 year         = {2014},
 title        = {A Model of Dynamic Systems},
 booktitle    = {FPS},
 doi          = {10.1007/978-3-642-54848-2\_3},
)
@book(Buschmann1996,
 author       = {Frank Buschmann and Regine Meunier and Hans Rohnert and Peter Sommerlad and Michael Stal},
 year         = {1996},
 title        = {PATTERN-ORIENTED SOFTWARE ARCHITECTURE: A System of Patterns},
)
@misc(cavada2013nusmv,
 author       = {Roberto Cavada and Alessandro Cimatti and Charles~Arthur Jochim and Gavin Keighren and Emanuele Olivetti and Marco Pistore and Marco Roveri and Andrei Tchaltsev},
 title        = {NuSMV 2.5 User Manual, 2010},
 howpublished = {\url{http://nusmv.fbk.eu/NuSMV/userman/v25/nusmv.pdf}},
)
@misc(MITRE2011,
 author       = {{Corporation~MITRE}},
 year         = {2011},
 title        = {{CWE}/{SANS} Top 25 Most Dangerous Software Errors},
 url          = {https://cwe.mitre.org/top25/index.html},
)
@misc(Dalmau1997,
 author       = {Juan de~Dalmau and Jacques Gigou},
 year         = {1997},
 title        = {{A}riane-5: Learning from Flight 501 and Preparing for 502},
 url          = {http://www.esa.int/esapub/bulletin/bullet89/dalma89.htm},
 note         = {{ESA} Bulletin Nr.\ 89},
)
@inproceedings(Dashofy2001,
 author       = {Eric~M Dashofy and Van~der Hoek, Andr{\'e} and Richard~N Taylor},
 year         = {2001},
 title        = {A Highly-Extensible, XML-Based Architecture Description Language},
 booktitle    = {WICSA},
 doi          = {10.1109/wicsa.2001.948416},
)
@incollection(Wirsing2012,
 author       = {Jonas Eckhardt and Tobias M{\"u}hlbauer and Musab AlTurki and Jos{\'e} Meseguer and Martin Wirsing},
 year         = {2012},
 title        = {Stable availability under denial of service attacks through formal patterns},
 booktitle    = {FASE},
 doi          = {10.1007/978-3-642-28872-2\_6},
)
@article(Fiadeiro2013,
 author       = {Jos{\'e}~Luiz Fiadeiro and Ant{\'o}nia Lopes},
 year         = {2013},
 title        = {A Model for Dynamic Reconfiguration in Service-oriented Architectures},
 journal      = {SoSyM},
 doi          = {10.1007/s10270-012-0236-1},
)
@misc(Gamma1994,
 author       = {Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides},
 year         = {1994},
 title        = {Design Patterns: Elements of Reusable Object-Oriented Software},
)
@inproceedings(Garlan2000,
 author       = {David Garlan},
 year         = {2000},
 title        = {Software Architecture: a Roadmap},
 booktitle    = {FOSE},
 doi          = {10.1145/336512.336537},
)
@incollection(Garlan2003,
 author       = {David Garlan},
 year         = {2003},
 title        = {Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events},
 booktitle    = {Sfm},
 doi          = {10.1007/978-3-540-39800-4\_1},
)
@article(Inverardi1995,
 author       = {Paola Inverardi and Alexander~L Wolf},
 year         = {1995},
 title        = {Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model},
 journal      = {IEEE TSE},
 doi          = {10.1109/32.385973},
)
@article(Jackson2002,
 author       = {Daniel Jackson},
 year         = {2002},
 title        = {Alloy: A Lightweight Object Modelling Notation},
 journal      = {TOSEM},
 doi          = {10.1145/505145.505149},
)
@inproceedings(Kim2006,
 author       = {Jung~Soo Kim and David Garlan},
 year         = {2006},
 title        = {Analyzing Architectural Styles with Alloy},
 booktitle    = {ROSATEA},
 doi          = {10.1145/1147249.1147259},
)
@article(LeMetayer1998,
 author       = {Le~M{\'e}tayer, Daniel},
 year         = {1998},
 title        = {Describing Software Architecture Styles Using Graph Grammars},
 journal      = {IEEE TSE},
 doi          = {10.1109/32.708567},
)
@inproceedings(li2015,
 author       = {Zengyang Li and Peng Liang and Paris Avgeriou},
 year         = {2015},
 title        = {Architectural Technical Debt Identification Based on Architecture Decisions and Change Scenarios},
 booktitle    = {WICSA},
 doi          = {10.1109/WICSA.2015.19},
)
@article(Luckham1995,
 author       = {David~C Luckham and John~J Kenney and Larry~M Augustin and James Vera and Doug Bryan and Walter Mann},
 year         = {1995},
 title        = {Specification and Analysis of System Architecture Using Rapide},
 journal      = {IEEE TSE},
 volume       = {21},
 number       = {4},
 pages        = {336--354},
 doi          = {10.1109/32.385971},
)
@article(Magee1996,
 author       = {Jeff Magee and Jeff Kramer},
 year         = {1996},
 title        = {Dynamic Structure in Software Architectures},
 journal      = {ACM SIGSOFT SEN},
 doi          = {10.1145/239098.239104},
)
@book(Manna2012,
 author       = {Zohar Manna and Amir Pnueli},
 year         = {1992},
 title        = {The Temporal Logic of Reactive and Concurrent Systems: Specification},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/978-1-4612-0931-7},
)
@misc(Marmsoler_DACL,
 author       = {Diego Marmsoler},
 title        = {DACL - Dynamic Architecture Constraint Language},
 howpublished = {\url{http://www.marmsoler.com/docs/DACL.pdf}},
 url          = {http://www.marmsoler.com/docs/psl.pdf},
)
@incollection(Marmsoler2016,
 author       = {Diego Marmsoler and Mario Gleirscher},
 year         = {2016},
 title        = {Specifying Properties of Dynamic Architectures using Configuration Traces},
 booktitle    = {ICTAC},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-46750-4\_14},
)
@inproceedings(Mehta2003,
 author       = {Nikunj~R Mehta and Nenad Medvidovic},
 year         = {2003},
 title        = {Composing Architectural Styles From Architectural Primitives},
 booktitle    = {ACM SIGSOFT SEN},
 organization = {ACM},
 doi          = {10.1145/949952.940118},
)
@article(Moriconi1995,
 author       = {Mark Moriconi and Xiaolei Qian and Robert~A Riemenschneider},
 year         = {1995},
 title        = {Correct Architecture Refinement},
 journal      = {IEEE TSE},
 doi          = {10.1109/32.385972},
)
@article(Oquendo2004,
 author       = {Flavio Oquendo},
 year         = {2004},
 title        = {$\pi$-ADL: An Architecture Description Language based on the Higher-Order Typed $\pi$-Calculus for Specifying Dynamic and Mobile Software Architectures},
 journal      = {ACM SIGSOFT SEN},
 doi          = {10.1145/986710.986728},
)
@inproceedings(Penix1997,
 author       = {John Penix and Perry Alexander and Klaus Havelund},
 year         = {1997},
 title        = {Declarative Specification of Software Architectures},
 booktitle    = {ASE},
 doi          = {10.1109/ase.1997.632840},
)
@book(Shaw1996,
 author       = {Mary Shaw and David Garlan},
 year         = {1996},
 title        = {Software Architecture: Perspectives on an Emerging Discipline},
 volume       = {1},
 publisher    = {Prentice Hall Englewood Cliffs},
)
@book(Taylor2009,
 author       = {Richard~N Taylor and Nenad Medvidovic and Eric~M Dashofy},
 year         = {2009},
 title        = {Software Architecture: Foundations, Theory, and Practice},
 publisher    = {Wiley Publishing},
 doi          = {10.1145/1595696.1595754},
)
@article(Wermelinger2002,
 author       = {Michel Wermelinger and Jos{\'e}~Luiz Fiadeiro},
 year         = {2002},
 title        = {A graph transformation approach to software architecture reconfiguration},
 journal      = {SCP},
 doi          = {10.1016/s0167-6423(02)00036-9},
)
@inproceedings(Wermelinger2001,
 author       = {Michel Wermelinger and Ant{\'o}nia Lopes and Jos{\'e}~Luiz Fiadeiro},
 year         = {2001},
 title        = {A Graph Based Architectural (Re)configuration Language},
 booktitle    = {ACM SIGSOFT SEN},
 doi          = {10.1145/503271.503213},
)
@incollection(Wirsing1990,
 author       = {Martin Wirsing},
 year         = {1990},
 title        = {Algebraic Specification},
 booktitle    = {Handbook of Theoretical Computer Science (Vol. B)},
 doi          = {10.1016/b978-0-444-88074-1.50018-4},
)
@inproceedings(Wong2008,
 author       = {Stephen Wong and Jing Sun and Ian Warren and Jun Sun},
 year         = {2008},
 title        = {A Scalable Approach to Multi-Style Architectural Modeling and Verification},
 booktitle    = {ICECCS 2008},
 doi          = {10.1109/iceccs.2008.16},
)
@inproceedings(Zhang2012,
 author       = {Jiexin Zhang and Yang Liu and Jing Sun and Jin~Song Dong and Jun Sun},
 year         = {2012},
 title        = {Model Checking Software Architecture Design},
 booktitle    = {HASE},
 doi          = {10.1109/hase.2012.12},
)