Ein Beitrag zur Zuverlässigkeitsanalyse digitaler Systeme unter besonderer Berücksichtigung der Modellbildung und der Qualität der Arbeitsweise des Systems. - Sabine Hauptmann (1981)