Bart De Win Seok-Won Lee Mattia Monga The 5<sup>th</sup> international workshop on software engineering for secure systems (SESS'09). 478-479 2009 ICSE Companion http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071071 conf/icse/2009c db/conf/icse/icse2009c.html#WinLM09