Modellierung von Fehlverhalten mit Berücksichtigung paralleler Abläufe. - Weber, Karl (Arbeitsberichte des Instituts für mathematische Maschinen und Datenverarbeitung<Informatik>, 1983)