Martin Deubler Johannes Grünbauer Jan Jürjens Guido Wimmel Sound development of secure service-based systems. 115-124 2004 conf/icsoc/2004 ICSOC http://doi.acm.org/10.1145/1035167.1035185 db/conf/icsoc/icsoc2004.html#DeublerGJW04