Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings - Meyer, Roland; Platzer, André; Wehrheim, Heike (Springer International Publishing : Imprint: Springer, 2015)