IaaS Cloud Availability Planning using Models and Genetic Algorithms | IEEE Conference Publication | IEEE Xplore