From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach
B. Böttcher, N. Moriz, O. Niggemann, in: B. Schaub, T., Friedrich, G. O’Sullivan (Ed.), 21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014, Vol. 263, Prague, Czech Republic, 2014, pp. 977–978.