@incollection{eprints2937,
           title = {Introduction to ?Rigorous Engineering of Autonomic Ensembles?? Track Introduction},
       booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change.},
            year = {2014},
          author = {Martin Wirsing and Rocco De Nicola and Matthias H{\"o}lzl},
       publisher = {Springer},
          number = {8802},
          series = {Lecture Notes in Computer Science},
           pages = {96--98},
             url = {http://eprints.imtlucca.it/2937/},
        abstract = {Today?s software systems are becoming increasingly distributed and decentralized and have to adapt autonomously to dynamically changing, open-ended environments. Often their nodes partake in complex interactions with other nodes or with humans. We call these kinds of distributed, complex systems operating in openended and changing environments, ensembles.}
}