1. Designed by Martin Wirsing Introduction to the Formal Engineering of Autonomic Systems With contributions from Matthias Hölzl, Mirco Tribastone, Franco Zambonelli 2.…