Zinah Hussein Toman. “Formal Verification Approach for IoT Conflict Resolution by Priority”. Journal of Al-Qadisiyah for Computer Science and Mathematics 18, no. 1 (March 30, 2026): Comp 37–50. Accessed March 30, 2026. https://jqcsm.qu.edu.iq/index.php/journalcm/article/view/2640.