"Finding Models in Model-Based Development - (Abstract)."

Wolfram Schulte, Ethan K. Jackson (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics