A Formal Verification Model for IoT Based Applications Using Event-B. - Rihab Omri; Zinah Hussein Toman; Lazhar Hamel (ICCCI (CCIS Volume), 2022)