Žagar, D., N. Vrandečić, and A. Stoić. “Logical Consistency Validation Tools for Distributed Systems”. International Journal of Electrical and Computer Engineering Systems, vol. 4, no. 1, Apr. 2013, pp. 1-11, https://ijeces.ferit.hr/index.php/ijeces/article/view/867.