Model Checking Reversible Systems: Forwardly. - Federico Dal Pio Luogo; Claudio Antares Mezzina; G. Michele Pinna (RC, 2024)