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