Semiformale Entwurfsmethoden bei BMW. - Michael Eckrich; Maximilian Fuchs (Informationstechnik Tech. Inform., 1997)

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung. - Werner Damm; Christoph Schulte; Hartmut Wittke; Marc Segelken; Uwe Higgen; Michael Eckrich (GI Jahrestagung (1), 2003)