Bernhard Jansen HariGovind V. Ramasamy Matthias Schunter Axel Tanner Architecting Dependable and Secure Systems Using Virtualization. 124-149 2007 WADS http://dx.doi.org/10.1007/978-3-540-85571-2_6 conf/icse/2007wads db/conf/icse/wads2007.html#JansenRST07