Formal Design and Validation of an Automatic Train Operation Control System. - Arturo Amendola; Lorenzo Barruffo; Marco Bozzano; Alessandro Cimatti; Salvatore De Simone; Eugenio Fedeli; Artem Gabbasov; Domenico Ernesto Garrubba; Massimiliano Girardi; Diana Serra; Roberto Tiella; Gianni Zampedri (RSSRail, 2022)