Formal verification of IoT applications using rewriting logic: An MDE-based approach. - Abdelouahab Fortas; Elhillali Kerkouche; Allaoua Chaoui (Sci. Comput. Program., 2022)