Wirsing, Martin and De Nicola, Rocco and Hölzl, Matthias Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 96-98. ISBN 978-3-662-45233-2 (2014)