Ruth Breu Klaus Burger Michael Hafner Gerhard Popp Towards a Systematic Development of Secure Systems. 1-12 2004 conf/sis/2004 WOSIS db/conf/sis/wosis2004.html#BreuBHP04