Analysemethodiken zur Berechnung der WCET mit asynchroner Ein-/Ausgabeverarbeitung.