Compliance Verification of 5G Service Level Agreements using Event-B. - Riham Badra; Lazhar Hamel; Layth Sliman; Ralp Bou Nader (NCA, 2025)