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), pp. 1009–1038. doi: 10.31577/cai_2019_5_1009.