Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. - Mikolás Janota; Victoria Kuzina; Andrzej Wasowski (MoDELS, 2008)