Hans Keutgen Hans-H. Meyer DARTS: Ein Softwareentwurfswerkzeug für Echtzeitprogramme. 92-105 1980 conf/gi/1980 GI Jahrestagung db/conf/gi/gi80.html#KeutgenM80