Formal Description of a Generic Multi-Model. - Sebastian Fuchs; Mathias Kadolsky; Raimar J. Scherer (WETICE, 2011)