Frank Trollmann, Marco Blumendorf, Veit Schwartze, Sahin Albayrak. Formalizing model consistency based on the abstract syntax. In Fabio Paternò, Kris Luyten, Frank Maurer, editors, Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2011, Pisa, Italy, June 13-16, 2011. pages 79-84, ACM, 2011. [doi]
Abstract is missing.