Formal Specification and Verification of MQTT Protocol Using CoQ Proof Assistant. - Ibtissem Talamali; Razika Lounas; Mohamed Mezghiche (ICAASE, 2024)