Formalizing product model transformations: Case Examples and applications. - Martin Fischer; Florian Aalami; Ragip Akbas (AI in Structural Engineering, 1998)