An Automata-based Profit Optimization of Cloud Brokers in IaaS Environment | IEEE Conference Publication | IEEE Xplore