"Is the derivation of a model easier to understand than the model itself?"

Janet Feigenspan, Don S. Batory, Taylor L. Riché (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics