Diagnose paralleler und verteilter Rechnersysteme mit Hilfe von Synchronieanalysen. - Klaus Kabitzsch; Thomas Holzmüller; Antje Warnstorff (Informationstechnik Tech. Inform., 1994)