Danilo Bruschi Bart De Win Mattia Monga Software engineering for secure systems. 1007-1008 2006 conf/icse/2006 ICSE http://doi.acm.org/10.1145/1134476 db/conf/icse/icse2006.html#BruschiWM06