"From Requirements to Models: Feedback Generation as a Result of Formalization."

Leonid Kof, Birgit Penzenstadler (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics