Reliable Management of Virtualized Resources Using Fault Trees | IEEE Conference Publication | IEEE Xplore