Modeling behavior of a cloud computing service | IEEE Conference Publication | IEEE Xplore