Rick Salay: Towards a Formal Framework for Multimodeling in Software Engineering. MoDELS (Doctoral Symposium) 2007