Model-Driven Dependability Analysis of Virtualization Systems | IEEE Conference Publication | IEEE Xplore