Spezifikationssprache für die Prädiktion des Zeitverhaltens von verteilten Systemen. - Henry Koplien (1997)