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