Dependability models for Eucalyptus infrastructure clouds considering VM life-cycle | IEEE Conference Publication | IEEE Xplore