Rich meta object facility formal integration platform: syntax, semantics and implementation. - Ralf Buschermöhle; Jörg Oelerink (Innov. Syst. Softw. Eng., 2008)