Doan, H.T.T. and Ogata, K. 2020. A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property. Computing and Informatics. 38, 5 (Feb. 2020), 1009–1038. DOI:https://doi.org/10.31577/cai_2019_5_1009.