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)

A GoA4 Control Architecture for the Autonomous Driving of High-Speed Trains Over ETCS: Design and Experimental Validation. - Lorenzo Barruffo; Bianca Caiazzo; Alberto Petrillo; Stefania Santini (IEEE Trans. Intell. Transp. Syst., 2024)