A model-checking based approach to verify data and energy integrated networks (DEINs): toward the formal verification of 6G networks. - Ilyes Rezgui; Afef Gafsi; Imene Ben Hafaiedh; Yassine Gana (J. Reliab. Intell. Environ., 2025)