From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach - Böttcher, Björn; Moriz, Natalia; Niggemann, Oliver (21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014)