A formal approach for virtual machine migration planning | IEEE Conference Publication | IEEE Xplore