Doan, Ha Thi Thu, and Kazuhiro Ogata. 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.