Message-optimal incremental snapshots | IEEE Conference Publication | IEEE Xplore