Martin Fischer Florian Aalami Ragip Akbas Formalizing product model transformations: Case Examples and applications. 113-132 1998 conf/seaai/1998 AI in Structural Engineering db/conf/seaai/seaai1998.html#FischerAA98