Christian Ferdinand Daniel Kästner Florian Martin Marc Langenbach Martin Sicks Stephan Wilhelm Reinhold Heckmann Nicolas Fritz Stephan Thesing Frank Fontaine Henrik Theiling Michael Schmidt Alexander A. Evstiougov-Babaev Reinhard Wilhelm Validierung des Zeitverhaltens von kritischer Echtzeit-Software. 335-339 2003 conf/gi/2003-1 GI Jahrestagung (1) db/conf/gi/gi2003-1.html#FerdinandKMLSWHFTFTSEW03