Zur Anwendung graphentheoretischer Verfahren bei der Modularisierung von Fehlerbäumen.