Rick Salay Towards a Formal Framework for Multimodeling in Software Engineering. 2007 MoDELS (Doctoral Symposium) http://ceur-ws.org/Vol-262/paper01.pdf conf/models/2007ds db/conf/models/ds2007.html#Salay07