Softwarezuverlässigkeit : Quantitative Modelle und Nachweisverfahren - Becker, Günter (Programmierung komplexer Systeme, 1989)