Žagar, Drago, Nino Vrandečić, and Antun Stoić. 2013. “Logical Consistency Validation Tools for Distributed Systems”. International Journal of Electrical and Computer Engineering Systems 4 (1):1-11. https://ijeces.ferit.hr/index.php/ijeces/article/view/867.