"Verifying feature-based model templates against well-formedness OCL ..."

Krzysztof Czarnecki, Krzysztof Pietroszek (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics