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 1981- (Springer International Publishing, 2015)