Modeling and evaluating IaaS cloud using performance evaluation process algebra | IEEE Conference Publication | IEEE Xplore