Softwarezuverl Ssigkeit: Quantitative Modelle Und Nachweisverfahren by Günter Becker & G. Nter Becker