Enhancing Dependability of Cloud-Based IoT Services through Virtualization | IEEE Conference Publication | IEEE Xplore