Zinah Hussein Toman. “Formal Verification Approach for IoT Conflict Resolution by Priority”. Journal of Al-Qadisiyah for Computer Science and Mathematics, vol. 18, no. 1, Mar. 2026, pp. Comp 37-50, doi:10.29304/jqcsm.2026.18.12640.