@incollection(Autili2009,
 author       = "M. Autili and P. Di Benedetto and P. Inverardi",
 year         = "2009",
 title        = "Context-Aware Adaptive Services: The PLASTIC Approach",
 booktitle    = "Fundamental Approaches to Software Engineering",
 series       = "Lecture Notes in Computer Science",
 volume       = "5503",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-00593-0\_9",
)
@inproceedings(Bartels2011,
 author       = "B. Bartels and M. Kleine",
 year         = "2011",
 title        = "A CSP-based framework for the specification, verification, and implementation of adaptive systems",
 booktitle    = "Software Engineering for Adaptive and Self-Managing Systems",
 publisher    = "ACM",
 doi          = "10.1145/1988008.1988030",
)
@inproceedings(Becker:2006,
 author       = "B. Becker and D. Beyer and H. Giese and F. Klein and D. Schilling",
 year         = "2006",
 title        = "Symbolic invariant verification for systems with dynamic structural adaptation",
 booktitle    = "28th International Conference on Software Engineering",
 doi          = "10.1145/1134285.1134297",
)
@inproceedings(Behrmann2006,
 author       = "G. Behrmann",
 year         = "2006",
 title        = "UPPAAL 4.0",
 booktitle    = "International Conference on Quantitative Evaluation of Systems",
)
@incollection(cheng:roadmap,
 author       = "B. Cheng",
 year         = "2009",
 title        = "Software Engineering for Self-Adaptive Systems: {A} Research Roadmap",
 booktitle    = "Software Engineering for Self-Adaptive Systems, LNCS 5525",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-02161-9\_1",
)
@phdthesis(dowling2004decentralised,
 author       = "J. Dowling",
 year         = "2004",
 title        = "{Decentralised Coordination of Self-Adaptive Components for Autonomic Distributed Systems}",
 school       = "University of Dublin, Trinity College",
)
@inproceedings(Ebnenasir2007,
 author       = "A. Ebnenasir",
 year         = "2007",
 title        = "Designing Run-Time Fault-Tolerance Using Dynamic Updates",
 booktitle    = "Software Engineering for Adaptive and Self-Managing Systems",
 publisher    = "IEEE",
 doi          = "10.1109/SEAMS.2007.5",
)
@article(Rainbow,
 author       = "D. Garlan and S. Cheng and A. Huang and B. Schmerl and P. Steenkiste",
 year         = "2004",
 title        = "{Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure}",
 journal      = "IEEE Computer",
 volume       = "37",
 number       = "10",
 doi          = "10.1109/MC.2004.175",
)
@inproceedings(Georgiadis2002,
 author       = "I. Georgiadis and J. Magee and J. Kramer",
 year         = "2002",
 title        = "Self-organising software architectures for distributed systems",
 booktitle    = "1st Workshop on Self-healing Systems",
 publisher    = "ACM",
 doi          = "10.1145/582129.582135",
)
@incollection(Güdemann2006,
 author       = "M. Gudemann and F. Ortmeier and W. Reif",
 year         = "2006",
 title        = "Formal Modeling and Verification of Systems with Self-x Properties",
 series       = "Lecture Notes in Computer Science",
 publisher    = "Springer",
 doi          = "10.1007/11839569\_4",
)
@inproceedings(Heinzemann2011,
 author       = "C. Heinzemann and S.Henkler",
 year         = "2011",
 title        = "Reusing dynamic communication protocols in self-adaptive embedded component architectures",
 booktitle    = "14th Symposium on Component-based Software Engineering",
 publisher    = "ACM",
 doi          = "10.1145/2000229.2000246",
)
@article(Kep:Che,
 author       = "J. Kephart and D. Chess",
 year         = "2003",
 title        = "{The Vision of Autonomic Computing}",
 journal      = "IEEE Computer Magazine",
 volume       = "36",
 number       = "1",
 doi          = "10.1109/MC.2003.1160055",
)
@inproceedings(Khakpour2010,
 author       = "N. Khakpour and R. Khosravi and M. Sirjani and S. Jalili",
 year         = "2010",
 title        = "Formal analysis of policy-based self-adaptive systems",
 booktitle    = "Symposium on Applied Computing",
 publisher    = "ACM",
 doi          = "10.1145/1774088.1774613",
)
@article(kramer2007sms,
 author       = "J. Kramer and J. Magee",
 year         = "2007",
 title        = "{Self-Managed Systems: An Architectural Challenge}",
 journal      = "Future of Software Engineering",
 doi          = "10.1109/FOSE.2007.19",
)
@incollection(Lemos2012,
 author       = "R. de Lemos",
 year         = "2012",
 title        = "Software Engineering for Self-Adaptive Systems: {A} Second Research Roadmap",
 booktitle    = "Software Engineering for Self-Adaptive Systems, LNCS 7475",
 publisher    = "Springer",
)
@inproceedings(Magee2006,
 author       = "J. Magee and T. Maibaum",
 year         = "2006",
 title        = "Towards specification, modelling and analysis of fault tolerance in self managed systems",
 booktitle    = "Self-adaptation and Self-managing Systems",
 publisher    = "ACM",
 doi          = "10.1145/1137677.1137684",
)
@inproceedings(Oreizy1998,
 author       = "P. Oreizy and N. Medvidovic and R. Taylor",
 year         = "1998",
 title        = "Architecture-based runtime software evolution",
 booktitle    = "International Conference on Software Engineering",
 doi          = "10.1109/ICSE.1998.671114",
)
@inproceedings(Tan2006,
 author       = "L. Tan",
 year         = "2006",
 title        = "Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications",
 booktitle    = "6th International Conference on Quality Software",
 doi          = "10.1109/QSIC.2006.41",
)
@book(Utt:Leg07,
 author       = "M. Utting and B. Legeard",
 year         = "2007",
 title        = "Practical Model-Based Testing: A Tools Approach",
 publisher    = "Morgan-Kaufmann",
)
@article(Utting2011,
 author       = "M. Utting",
 year         = "2011",
 title        = "A taxonomy of model-based testing approaches",
 journal      = "Testing, Verification and~Reliability",
 doi          = "10.1002/stvr.456",
)
@article(Vassev2009,
 author       = "E. Vassev and M. Hinchey",
 year         = "2009",
 title        = "{ASSL: A Software Engineering Approach to Autonomic Computing}",
 journal      = "Computer",
 volume       = "42",
 number       = "6",
 pages        = "90--93",
 doi          = "10.1109/MC.2009.174",
)
@inproceedings(WODA2012,
 author       = "D. Weyns",
 year         = "2012",
 title        = "Towards an Integrated Approach for Validating Qualities of Self-Adaptive Systems",
 booktitle    = "ISSTA Workshop on Dynamic Analysis (WODA)",
 doi          = "10.1145/2338966.2336803",
)
@article(MACODO-arch,
 author       = "D. Weyns and R. Haesevoets and A. Helleboogh and T. Holvoet and W. Joosen",
 year         = "2010",
 title        = "The MACODO Middleware for Context-Driven Dynamic Agent Organzations",
 journal      = "ACM Transactions on Autonomous and Adaptive Systems",
 volume       = "5",
 number       = "1",
 doi          = "10.1145/1671948.1671951",
)
@article(Weyns2011,
 author       = "D. Weyns and S. Malek and J. Andersson",
 year         = "2012",
 title        = "FORMS: Unifying Reference Model for Formal Specification of Distributed Self-Adaptive Systems",
 journal      = "ACM Transactions on Autonomous and Adaptive Systems, 7(1)",
 doi          = "10.1145/2168260.2168268",
)
@inproceedings(Zhang2006,
 author       = "J. Zhang and B. Cheng",
 year         = "2006",
 title        = "Model-based development of dynamically adaptive software",
 booktitle    = "28th International Conference on Software Engineering",
 publisher    = "ACM",
 doi          = "10.1145/1134285.1134337",
)