Testen von Echtzeiteigenschaften für verteilte Ablaufsteuerungen.