Arbeitspapiere der GMD No. 352. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, 1988. In German.
Abstract: Bei der Implementation darf die in der Spezifikation formal gefaÑte Logik nicht verändert werden. Die Implementation legt jedoch Parameterwerte fest, die das zeitliche Verhalten beeinflussen. Die Ermittlung dieser Einflüsse ist das Ziel der Behandlung von Zeitaspekten. Dieses Papier stellt an zwei Beispielen den adäquaten Umgang mit Zeitaspekten in Implementationsspezifikationen, die mit Produktnetzen beschrieben sind, vor.