Academic Course: 07 Introduction to the Formal Engineering of Autonomic Systems
Towards Systematically Engineering Ensembles - Martin Wirsing