Eine Methode zur Konstruktion zuverlässiger Software-Systeme für den Einsatz im Produktionsbereich. - Friedl, Anton (1984)