SDL Modeling and Validation of Home Area Network in Smart Grid Systems. - Zahid Soufiane; Abdeslam En-Nouaary; Slimane Bah (SCA, 2017)

An SDL to Discrete-Time PROMELA Transformation of Home Area Network model. - Soufiane Zahid; Abdeslam En-Nouaary; Slimane Bah (SITA, 2018)

Practical Model Checking of a Home Area Network System: Case Study. - Soufiane Zahid; Abdeslam En-Nouaary; Slimane Bah (J. Comput. Inf. Technol., 2019)