@inproceedings(nils3baas,
 author       = "N.A. Baas",
 year         = "1994",
 title        = "Emergence, hierarchies, and hyperstructures",
 editor       = "C.G. Langton",
 booktitle    = "Artificial Life III",
 volume       = "17",
 organization = "Addison Wesley",
 pages        = "515--537",
)
@article(baianu2010simple,
 author       = "I.C. Baianu and R. Poli",
 year         = "2010",
 title        = "From simple to super-and ultra-complex systems: a paradigm shift towards non-Abelian emergent system dynamics",
 journal      = "Theory and Applications of Ontology",
 volume       = "2",
)
@article(shape2,
 author       = "E. Bartocci and D.R. Cacciagrano and M.R. Di Berardini and E. Merelli and L. Tesei",
 year         = "2010",
 title        = "{Timed Operational Semantics and Well-Formedness of Shape Calculus}",
 journal      = "Scientific Annals of Computer Science",
 volume       = "20",
 pages        = "33--52",
)
@article(shape1,
 author       = "E. Bartocci and F. Corradini and M.R. Di Berardini and E. Merelli and L. Tesei",
 year         = "2010",
 title        = "{Shape Calculus. A Spatial Mobile Calculus for 3D Shapes}",
 journal      = "Scientific Annals of Computer Science",
 volume       = "20",
 pages        = "1--31",
)
@article(bruni2008modelling,
 author       = "R. Bruni and A. Bucchiarone and S. Gnesi and H. Melgratti",
 year         = "2008",
 title        = "Modelling dynamic software architectures using typed graph grammars",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "213",
 number       = "1",
 pages        = "39--53",
 doi          = "10.1016/j.entcs.2008.04.073",
)
@inproceedings(bruni2012conceptual,
 author       = "R. Bruni and A. Corradini and F. Gadducci and A. Lluch-Lafuente and A. Vandin",
 year         = "2012",
 title        = "A conceptual framework for adaptation",
 booktitle    = "Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012)",
 publisher    = "In Press. Springer",
)
@article(cheng2009software,
 author       = "B. Cheng and R. de Lemos and H. Giese and P. Inverardi and J. Magee and J. Andersson and B. Becker and N. Bencomo and Y. Brun and B. Cukic",
 year         = "2009",
 title        = "Software engineering for self-adaptive systems: A research roadmap",
 journal      = "Software Engineering for Self-Adaptive Systems",
 pages        = "1--26",
 doi          = "10.1007/978-3-642-02161-9\_1",
)
@article(clarke1986automatic,
 author       = "E.M. Clarke and E.A. Emerson and A.P. Sistla",
 year         = "1986",
 title        = "Automatic verification of finite-state concurrent systems using temporal logic specifications",
 journal      = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
 volume       = "8",
 number       = "2",
 pages        = "244--263",
 doi          = "10.1145/5397.5399",
)
@article(corradini2006relating,
 author       = "F. Corradini and P. Inverardi and A.L. Wolf",
 year         = "2006",
 title        = "On relating functional specifications to architectural specifications: a case study",
 journal      = "Science of Computer Programming",
 volume       = "59",
 number       = "3",
 pages        = "171--208",
 doi          = "10.1016/j.scico.2005.04.003",
)
@book(ehresmann2007memory,
 author       = "A.C. Ehresmann and J.P. Vanbremeersch",
 year         = "2007",
 title        = "Memory evolutive systems: hierarchy, emergence, cognition",
 volume       = "4",
 publisher    = "Elsevier Science",
)
@article(harel1987statecharts,
 author       = "D. Harel",
 year         = "1987",
 title        = "Statecharts: A visual formalism for complex systems",
 journal      = "Science of computer programming",
 volume       = "8",
 number       = "3",
 pages        = "231--274",
 doi          = "10.1016/0167-6423(87)90035-9",
)
@article(karsai2003approach,
 author       = "G. Karsai and A. Ledeczi and J. Sztipanovits and G. Peceli and G. Simon and T. Kovacshazy",
 year         = "2003",
 title        = "An approach to self-adaptive software based on supervisory control",
 journal      = "Self-adaptive software: applications",
 pages        = "77--92",
 doi          = "10.1007/3-540-36554-0\_3",
)
@article(khakpour2010pobsam,
 author       = "N. Khakpour and S. Jalili and C. Talcott and M. Sirjani and M.R. Mousavi",
 year         = "2010",
 title        = "{PobSAM: policy-based managing of actors in self-adaptive systems}",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "263",
 pages        = "129--143",
 doi          = "10.1016/j.entcs.2010.05.008",
)
@inproceedings(khakpour2010formal,
 author       = "N. Khakpour and R. Khosravi and M. Sirjani and S. Jalili",
 year         = "2010",
 title        = "Formal analysis of policy-based self-adaptive systems",
 booktitle    = "Proceedings of the 2010 ACM Symposium on Applied Computing",
 organization = "ACM",
 pages        = "2536--2543",
 doi          = "10.1145/1774088.1774613",
)
@inproceedings(kramer2007self,
 author       = "J. Kramer and J. Magee",
 year         = "2007",
 title        = "Self-managed systems: an architectural challenge",
 booktitle    = "Future of Software Engineering, 2007. FOSE'07",
 organization = "IEEE",
 pages        = "259--268",
 doi          = "10.1109/FOSE.2007.19",
)
@article(kulkarni2004correctness,
 author       = "S.S. Kulkarni and K.N. Biyani",
 year         = "2004",
 title        = "Correctness of component-based adaptation",
 journal      = "Component-Based Software Engineering",
 pages        = "48--58",
 doi          = "10.1007/978-3-540-24774-6\_6",
)
@techreport(laddaga,
 author       = "R. Laddaga",
 year         = "1997",
 title        = "Self-adaptive software.",
 type         = "Technical Report",
 number       = "98-12",
 institution  = "DARPA BAA",
)
@article(le1998describing,
 author       = "D. Le M{\'e}tayer",
 year         = "1998",
 title        = "Describing software architecture styles using graph grammars",
 journal      = "Software Engineering, IEEE Transactions on",
 volume       = "24",
 number       = "7",
 pages        = "521--533",
 doi          = "10.1109/32.708567",
)
@article(meseguer2006semantic,
 author       = "J. Meseguer and C. Talcott",
 year         = "2006",
 title        = "Semantic models for distributed object reflection",
 journal      = "ECOOP 2002 - Object-Oriented Programming",
 pages        = "1637--1788",
 doi          = "10.1007/3-540-47993-7\_1",
)
@book(rosen1985anticipatory,
 author       = "R. Rosen",
 year         = "1985",
 title        = "Anticipatory systems",
 publisher    = "Pergamon Press",
)
@article(salehie2009self,
 author       = "M. Salehie and L. Tahvildari",
 year         = "2009",
 title        = "Self-adaptive software: Landscape and research challenges",
 journal      = "ACM Transactions on Autonomous and Adaptive Systems (TAAS)",
 volume       = "4",
 number       = "2",
 doi          = "10.1145/1516533.1516538",
)
@article(shin2005self,
 author       = "M.E. Shin",
 year         = "2005",
 title        = "Self-healing components in robust software architecture for concurrent and distributed systems",
 journal      = "Science of Computer Programming",
 volume       = "57",
 number       = "1",
 pages        = "27--44",
 doi          = "10.1016/j.scico.2004.10.003",
)
@inproceedings(zhang2006model,
 author       = "J. Zhang and B.H.C. Cheng",
 year         = "2006",
 title        = "Model-based development of dynamically adaptive software",
 booktitle    = "Proceedings of the 28th international conference on Software engineering",
 organization = "ACM",
 pages        = "371--380",
 doi          = "10.1145/1134285.1134337",
)
@inproceedings(zhang2009modular,
 author       = "J. Zhang and H.J. Goldsby and B.H.C. Cheng",
 year         = "2009",
 title        = "Modular verification of dynamically adaptive systems",
 booktitle    = "Proceedings of the 8th ACM international conference on Aspect-oriented software development",
 organization = "ACM",
 pages        = "161--172",
 doi          = "10.1145/1509239.1509262",
)