VM-μCheckpoint: Design, Modeling, and Assessment of Lightweight In-Memory VM Checkpointing | IEEE Journals & Magazine | IEEE Xplore