Secure systems development with UML - Jurjens, Jan (Springer-Verlag Berlin Heidelberg, 2005)