H. T. T. Doan and K. Ogata, “A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property”, Comput. Inform., vol. 38, no. 5, pp. 1009–1038, Feb. 2020.