@(Bauer2019,
 author       = {Andreas Bauer},
 year         = {2019},
 title        = {LTL3 Tools},
 url          = {http://ltl3tools.sourceforge.net/},
)
@inproceedings(bauer2006model,
 author       = {Andreas Bauer and Martin Leucker and Christian Schallhart},
 year         = {2006},
 title        = {Model-based runtime analysis of distributed reactive systems},
 booktitle    = {Software Engineering Conference, 2006. Australian},
 organization = {IEEE},
 pages        = {10--pp},
 doi          = {10.1109/aswec.2006.36},
)
@inproceedings(bauer2006monitoring,
 author       = {Andreas Bauer and Martin Leucker and Christian Schallhart},
 year         = {2006},
 title        = {Monitoring of real-time properties},
 booktitle    = {International Conference on Foundations of Software Technology and Theoretical Computer Science},
 organization = {Springer},
 pages        = {260--272},
 doi          = {10.1007/11944836_25},
)
@article(bauer2011runtime,
 author       = {Andreas Bauer and Martin Leucker and Christian Schallhart},
 year         = {2011},
 title        = {Runtime verification for LTL and TLTL},
 journal      = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
 volume       = {20},
 number       = {4},
 pages        = {14},
 doi          = {10.1145/2000799.2000800},
)
@book(bettini2016,
 author       = {Lorenzo Bettini},
 year         = {2016},
 title        = {Implementing domain-specific languages with Xtext and Xtend},
 publisher    = {Packt Publishing Ltd},
)
@inproceedings(Broy1996,
 author       = {Manfred Broy},
 year         = {1996},
 title        = {Algebraic Specification of Reactive Systems},
 booktitle    = {Algebraic Methodology and Software Technology},
 organization = {Springer},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {487--503},
 doi          = {10.1007/bfb0014335},
)
@inproceedings(chen2005java,
 author       = {Feng Chen and Ro{\c{s}}u, Grigore},
 year         = {2005},
 title        = {Java-MOP: A monitoring oriented programming environment for Java},
 booktitle    = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
 organization = {Springer},
 pages        = {546--550},
 doi          = {10.1007/978-3-540-31980-1_36},
)
@inproceedings(chen2007mop,
 author       = {Feng Chen and Ro{\c{s}}u, Grigore},
 year         = {2007},
 title        = {Mop: an efficient and generic runtime verification framework},
 booktitle    = {Acm Sigplan Notices},
 volume       = {42},
 organization = {ACM},
 pages        = {569--588},
 doi          = {10.1145/1297105.1297069},
)
@book(clarke1999model,
 author       = {EM~Clarke and Orna Grumberg and Doron~A Peled},
 year         = {1999},
 title        = {Model Checking},
 publisher    = {Cambridge, Mass, MIT Press},
)
@(Coverity2019,
 author       = {Coverity},
 year         = {2019},
 title        = {Architecture analysis},
 url          = {http://www.coverity.com/products/architectureanalysis},
)
@inproceedings(Deissenboeck2010,
 author       = {Florian Deissenboeck and Lars Heinemann and Benjamin Hummel and Elmar J{\"{u}}rgens},
 year         = {2010},
 title        = {Flexible architecture conformance assessment with ConQAT},
 booktitle    = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8 May 2010},
 pages        = {247--250},
 doi          = {10.1145/1810295.1810343},
)
@article(Eick2001,
 author       = {S.~G. Eick and T.~L. Graves and A.~F. Karr and J.~S. Marron and A.~Mockus},
 year         = {2001},
 title        = {Does code decay? Assessing the evidence from change management data},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {27},
 number       = {1},
 pages        = {1--12},
 doi          = {10.1109/32.895984},
)
@incollection(emerson2008beginning,
 author       = {E~Allen Emerson},
 year         = {2008},
 title        = {The beginning of model checking: A personal perspective},
 booktitle    = {25 Years of Model Checking},
 publisher    = {Springer},
 pages        = {27--45},
 doi          = {10.1007/978-3-540-69850-0_2},
)
@misc(Foundation2019,
 author       = {Eclipse Foundation},
 year         = {2019},
 title        = {AspectJ},
 howpublished = {\url{https://www.eclipse.org/aspectj/}},
)
@article(Garlan1995,
 author       = {David Garlan and Robert Allen and John Ockerbloom},
 year         = {1995},
 title        = {Architectural Mismatch: Why Reuse Is So Hard},
 journal      = {IEEE Softw.},
 volume       = {12},
 number       = {6},
 pages        = {17--26},
 doi          = {10.1109/52.469757},
)
@inproceedings(Godfrey2000,
 author       = {Michael~W. Godfrey and Eric H.~S. Lee},
 year         = {2000},
 title        = {Secrets from the Monster: Extracting Mozilla's Software Architecture},
 booktitle    = {In Proc. of 2000 Intl. Symposium on Constructing software engineering tools (CoSET 2000},
 pages        = {15--23},
)
@(Klocwork2019,
 author       = {Klocwork},
 year         = {2019},
 title        = {Klockwork Architect},
 url          = {http://www.klocwork.com/products/insight/architect-code-visualization/},
)
@inproceedings(koschke2003hierarchical,
 author       = {R.~{Koschke} and D.~{Simon}},
 year         = {2003},
 title        = {Hierarchical reflexion models},
 booktitle    = {10th Working Conference on Reverse Engineering, 2003. WCRE 2003. Proceedings.},
 pages        = {36--45},
 doi          = {10.1109/WCRE.2003.1287235},
)
@(Lattix2019,
 author       = {Lattix},
 year         = {2019},
 title        = {The Lattix architecture management system},
 url          = {http://www.lattix.com/products},
)
@inproceedings(Lavery2017,
 author       = {P.~Lavery and T.~Watanabe},
 year         = {2017},
 title        = {An actor-based runtime monitoring system for web and desktop applications},
 booktitle    = {2017 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)},
 pages        = {385--390},
 doi          = {10.1109/SNPD.2017.8022750},
)
@inproceedings(leger2010reliable,
 author       = {Marc L{\'e}ger and Thomas Ledoux and Thierry Coupaye},
 year         = {2010},
 title        = {Reliable dynamic reconfigurations in a reflective component model},
 booktitle    = {International Symposium on Component-Based Software Engineering},
 organization = {Springer},
 pages        = {74--92},
 doi          = {10.1007/978-3-642-13238-4_5},
)
@article(leucker2009brief,
 author       = {Martin Leucker and Christian Schallhart},
 year         = {2009},
 title        = {A brief account of runtime verification},
 journal      = {The Journal of Logic and Algebraic Programming},
 volume       = {78},
 number       = {5},
 pages        = {293--303},
 doi          = {10.1016/j.jlap.2008.08.004},
)
@(structure1012019,
 author       = {Headway Software~Technologies Ltd.},
 year         = {2019},
 title        = {structure101},
 url          = {https://structure101.com/},
)
@article(Marmsoler2016a,
 author       = {D.~Marmsoler and M.~Gleirscher},
 year         = {2016},
 title        = {On Activation, Connection, and Behavior in Dynamic Architectures},
 journal      = {Scientific Annals of Computer Science},
 volume       = {26},
 number       = {2},
 pages        = {187\IeC{\textendash}248},
 doi          = {10.7561/SACS.2016.2.187},
)
@inproceedings(Marmsoler2018c,
 author       = {Diego Marmsoler},
 year         = {2018},
 title        = {Hierarchical Specication and Verication of Architecture Design Patterns},
 booktitle    = {Fundamental Approaches to Software Engineering - 21th International Conference, {FASE} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings},
 doi          = {10.1007/978-3-319-89363-1_9},
)
@phdthesis(Marmsoler2019,
 author       = {Diego Marmsoler},
 year         = {2019},
 title        = {Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum},
 type         = {Dissertation},
 school       = {Technische Universit\IeC{\"a}t M\IeC{\"u}nchen},
 address      = {M\IeC{\"u}nchen},
)
@inproceedings(Marmsoler2018f,
 author       = {Diego Marmsoler and Habtom~Kahsay Gidey},
 year         = {2018},
 title        = {\textsc{FACTum} {S}tudio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns},
 booktitle    = {Formal Aspects of Component Software - {FACS} 2018 - 15th International Conference, Proceedings},
 doi          = {10.1007/978-3-030-02146-7_14},
)
@article(Marmsoler2019a,
 author       = {Diego Marmsoler and Habtom~Kashay Gidey},
 year         = {2019},
 title        = {Interactive verification of architectural design patterns in FACTum},
 journal      = {Formal Aspects of Computing},
 doi          = {10.1007/s00165-019-00488-x},
)
@incollection(Marmsoler2016,
 author       = {Diego Marmsoler and Mario Gleirscher},
 year         = {2016},
 title        = {Specifying Properties of Dynamic Architectures using Configuration Traces},
 booktitle    = {International Colloquium on Theoretical Aspects of Computing},
 publisher    = {Springer},
 pages        = {235--254},
 doi          = {10.1007/978-3-319-46750-4_14},
)
@article(murphy1995software,
 author       = {Gail~C Murphy and David Notkin and Kevin Sullivan},
 year         = {1995},
 title        = {Software reflexion models: Bridging the gap between source and high-level models},
 journal      = {ACM SIGSOFT Software Engineering Notes},
 volume       = {20},
 number       = {4},
 pages        = {18--28},
 doi          = {10.1145/222132.222136},
)
@inproceedings(pnueli1977temporal,
 author       = {Amir Pnueli},
 year         = {1977},
 title        = {The temporal logic of programs},
 booktitle    = {Foundations of Computer Science, 1977., 18th Annual Symposium on},
 organization = {IEEE},
 pages        = {46--57},
 doi          = {10.1109/sfcs.1977.32},
)
@(Robillard2019,
 author       = {Martin Robillard},
 year         = {2019},
 title        = {JetUML},
 url          = {https://github.com/prmr/JetUML},
)
@(Runtimeverification2019,
 author       = {Runtimeverification},
 year         = {2019},
 title        = {JavaMOP},
 url          = {https://github.com/runtimeverification/javamop},
)
@inproceedings(said2018reflexion,
 author       = {Wasim Said and Jochen Quante and Rainer Koschke},
 year         = {2018},
 title        = {Reflexion Models for State Machine Extraction and Verification},
 booktitle    = {2018 IEEE International Conference on Software Maintenance and Evolution (ICSME)},
 organization = {IEEE},
 pages        = {149--159},
 doi          = {10.1109/icsme.2018.00025},
)
@(Sonargraph2019,
 author       = {Sonargraph},
 year         = {2019},
 title        = {Sonargraph-Architect},
 url          = {http://www.hello2morrow.com/products/sonargraph},
)
@incollection(Wirsing1990,
 author       = {Martin Wirsing},
 year         = {1990},
 title        = {Algebraic Specification},
 editor       = {Jan van Leeuwen},
 booktitle    = {Handbook of Theoretical Computer Science (Vol. B)},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
 pages        = {675--788},
 doi          = {10.1016/b978-0-444-88074-1.50018-4},
)