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 (2015)