Formal Verification Approach for IoT Conflict Resolution by Priority. - Toman, Zinah Hussein (Journal of Qadisiyah Computer Science & Mathematics, 2026)