Mixed Logic Dynamic modeling used for Cloud Services Optimization in Smart City | IEEE Conference Publication | IEEE Xplore