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