Doan, Ha Thi Thu, and Kazuhiro Ogata. “A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property”. Computing and Informatics, vol. 38, no. 5, Feb. 2020, pp. 1009–1038, doi:10.31577/cai_2019_5_1009.