Enhancing reliability via checkpointing in cloud computing systems | IEEE Journals & Magazine | IEEE Xplore