In: Rocco De Nicola; Rolf Hennicker (Hrsg.). Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation. Pages 355-376, Lecture Notes in Computer Science (LNCS), Vol. 8950, Springer International Publishing Switzerland , 2015.