Zinah Hussein Toman, “Formal Verification Approach for IoT Conflict Resolution by Priority”, J. Al-Qadisiyah Comp. Sci. Math., vol. 18, no. 1, pp. Comp 37–50, Mar. 2026.