A Formal Integrated Approach for Cyber Physical Systems. - Ayoub Bouheroum; Djamel Benmerzoug; Sofiane Mounine Hemam; Faiza Belala; Aya Lehamdi; Radhia Aouissate (PAIS, 2022)