Xu Zhang Chuang Lin Xiangzhen Kong Model-Driven Dependability Analysis of Virtualization Systems. 199-204 2009 ACIS-ICIS http://dx.doi.org/10.1109/ICIS.2009.36 conf/ACISicis/2009 db/conf/ACISicis/ACISicis2009.html#ZhangLK09