Holger Peine Marek Jawurek Stefan Mandel Security Goal Indicator Trees: A Model of Software Features that Supports Efficient Security Inspection. 9-18 2008 HASE http://dx.doi.org/10.1109/HASE.2008.57 conf/hase/2008 db/conf/hase/hase2008.html#PeineJM08