Werner Damm Christoph Schulte Hartmut Wittke Marc Segelken Uwe Higgen Michael Eckrich Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung. 340-344 2003 conf/gi/2003-1 GI Jahrestagung (1) db/conf/gi/gi2003-1.html#DammSWSHE03