An Infrastructure Modelling Tool for Cloud Provisioning | IEEE Conference Publication | IEEE Xplore