ŽAGAR, D.; VRANDEČIĆ, N.; STOIĆ, A. Logical Consistency Validation Tools for Distributed Systems. International Journal of Electrical and Computer Engineering Systems, v. 4, n. 1, p. 1-11, 1 Apr. 2013.