Konstruktive Zuverlässigkeit - Eine Methodik für zuverlässige Systemsoftware auf unzuverlässiger Hardware - Hoffmann, Martin (2016)