"Real Projects with Informal Models."

Dora Dzvonyar, Stephan Krusche, Lukas Alperowitz (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics