Steinmetz, Joachim and Maibaum, Olaf and Gerndt, Andreas and Borgert, Stephan and Mühlhäuser, Max (2010):
Symbolic Abstraction of System Requirements.
p. 6, SEISCONF 2010, Proceedings of the Systems Engineering Infrastructure Conference, [Conference or Workshop Item]