Entwicklung sicherer Software : Modellierung und Implementierung mit Java - Englbrecht, Michael (Spektrum, 2004)