Doan, H. T. T.; Ogata, K. A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property. Comput. Inform. 2020, 38, 1009–1038.