Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang: Distributed Adaptive Systems - Theory, Specification, Reasoning. ABZ 2018: 16-30