Virtual machine monitors: current technology and future trends | IEEE Journals & Magazine | IEEE Xplore