Doan, H. T. T., & 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), 1009–1038. https://doi.org/10.31577/cai_2019_5_1009