Johannes Grünbauer Jan Jürjens Guido Wimmel Modelling Secure IT Systems - A Survey. 307-308 2004 conf/modellierung/2004 Modellierung db/conf/modellierung/modellierung2004.html#GrunbauerJW04