Michael Wahler Jana Koehler Achim D. Brucker Model-Driven Constraint Engineering. 2006 5 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/44 db/journals/eceasst/eceasst5.html#WahlerKB06