@inproceedings(Allen98FASE,
 author       = "Robert Allen and R{\'e}mi Douence and David Garlan",
 year         = "1998",
 title        = "Specifying and Analyzing Dynamic Software Architectures",
 booktitle    = "FASE",
 pages        = "21--37",
 doi          = "10.1007/BFb0053581",
)
@inproceedings(DBLP:conf/icse/BeckerBGKS06,
 author       = "Basil Becker and Dirk Beyer and Holger Giese and Florian Klein and Daniela Schilling",
 year         = "2006",
 title        = "Symbolic invariant verification for systems with dynamic structural adaptation",
 booktitle    = "ICSE",
 pages        = "72--81",
 doi          = "10.1145/1134285.1134297",
)
@inproceedings(DBLP:conf/woss/BradburyCDW04,
 author       = "Jeremy S. Bradbury and James R. Cordy and J{\"u}rgen Dingel and Michel Wermelinger",
 year         = "2004",
 title        = "A survey of self-management in dynamic software architecture specifications",
 booktitle    = "WOSS",
 pages        = "28--33",
 doi          = "10.1145/1075405.1075411",
)
@incollection(bllmt08,
 author       = "Roberto Bruni and Alberto {Lluch-Lafuente} and Ugo Montanari and Emilio Tuosto",
 year         = "2008",
 title        = "Style-Based Architectural Reconfigurations",
 booktitle    = "Bulletin of the EATCS",
 pages        = "161--180",
)
@inproceedings(DBLP:conf/tacas/CobleighGP03,
 author       = "Jamieson M. Cobleigh and Dimitra Giannakopoulou and Corina S. Pasareanu",
 year         = "2003",
 title        = "Learning Assumptions for Compositional Verification",
 booktitle    = "TACAS",
 pages        = "331--346",
 doi          = "10.1007/3-540-36577-X\_24",
)
@inproceedings(DBLP:conf/gg/DrewesKH97,
 author       = "Frank Drewes and Hans-J{\"o}rg Kreowski and Annegret Habel",
 year         = "1997",
 title        = "Hyperedge Replacement, Graph Grammars",
 booktitle    = "Handbook of Graph Grammars",
 pages        = "95--162",
 doi          = "10.1142/9789812384720\_0002",
)
@inproceedings(dij75,
 author       = "Dijkstra W. Edsger",
 year         = "1975",
 title        = "Guarded commands, non-determinancy and a calculus for the derivation of programs",
 booktitle    = "Language Hierarchies and Interfaces",
 pages        = "111--124",
 doi          = "10.1007/3-540-07994-7\_51",
)
@inproceedings(DBLP:conf/fase/EhrigERBP10,
 author       = "Hartmut Ehrig and Claudia Ermel and Olga Runge and Antonio Bucchiarone and Patrizio Pelliccione",
 year         = "2010",
 title        = "Formal Analysis and Verification of Self-Healing Systems",
 booktitle    = "FASE",
 pages        = "139--153",
 doi          = "10.1007/978-3-642-12029-9\_10",
)
@article(DBLP:journals/computer/GarlanCHSS04,
 author       = "David Garlan and Shang-Wen Cheng and An-Cheng Huang and Bradley R. Schmerl and Peter Steenkiste",
 year         = "2004",
 title        = "Rainbow: Architecture-Base Self-Adaptation with Reusable Infrastructure",
 journal      = "IEEE Computer",
 volume       = "37",
 number       = "10",
 pages        = "46--54",
 doi          = "10.1109/MC.2004.175",
)
@inproceedings(HabelPR06,
 author       = "Annegret Habel and Karl-Heinz Pennemann and Arend Rensink",
 year         = "2006",
 title        = "Weakest Preconditions for High-Level Programs",
 booktitle    = "ICGT",
 pages        = "445--460",
 doi          = "10.1007/11841883\_31",
)
@inproceedings(HirschIM99,
 author       = "Dan Hirsch and Paola Inverardi and Ugo Montanari",
 year         = "1999",
 title        = "Modeling Software Architectures and Styles with Graph Grammars and Constraint Solving",
 booktitle    = "WICSA1",
 pages        = "127--144",
)
@article(Metayer98,
 author       = "Daniel Le M{\'e}tayer",
 year         = "1998",
 title        = "Describing Software Architecture Styles Using Graph Grammars",
 journal      = "IEEE Trans. Software Eng.",
 volume       = "24",
 number       = "7",
 pages        = "521--533",
 doi          = "10.1109/32.708567",
)
@article(DbC92,
 author       = "Bertrand Meyer",
 year         = "1992",
 title        = "Applying Design by Contract",
 journal      = "IEEE COMPUTER",
 volume       = "25",
 pages        = "40--51",
 doi          = "10.1109/2.161279",
)
@book(Garlan:Perspectives,
 author       = "Mary Shaw and David Garlan",
 year         = "1996",
 title        = "Software Architectures: Perspectives on an emerging discipline",
 publisher    = "Prentice Hall",
)