Von der Nutzungsanforderung bis zur formalen Software spezifi- kation - Modellieren mit dem Werkzeug YAKINDU Requirements. - Florian Geyer; Jens Trompeter; Michael Jendryschik (UP, 2013)