Download 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