Verifying HyperLTL Properties in Event-B. - Bodeveix, Jean-Paul; Carle, Thomas; Fares, Elie; Filali, Mamoun; Hoang, Thai Son (2024)