D. Žagar, N. Vrandečić, and A. Stoić, “Logical Consistency Validation Tools for Distributed Systems”, IJECES, vol. 4, no. 1, pp. 1-11, Apr. 2013.