MODEL MAPPING USING FORMALISM EXTENSIONS. - CAPLAT, GUY