Modeling and Verifying Google File System
cloud computing and emerging it platforms : vision , hype , and reality for delivering computing as the 5th utility .