Automated Compositional Verification of Interlocking Systems. - Anne E. Haxthausen; Alessandro Fantechi; Gloria Gori; Óli Kárason Mikkelsen; Sofie-Amalie Petersen (RSSRail, 2023)