Smart On-Board Surveillance Module for Safe Autonomous Train Operations. - Giovanni Mezzina; Mario Barbareschi; Salvatore De Simone; Alessandro Di Benedetto; G. Narracci; Cataldo Luciano Saragaglia; Diana Serra; Daniela De Venuto (ApplePies, 2021)

Model-Based Vital Control Architecture for Highly Automated Train Operations. - Giovanni Mezzina; Cataldo Luciano Saragaglia; Mario Barbareschi; Diana Serra; Salvatore De Simone; Alberto Moriconi; Daniela De Venuto (ApplePies, 2022)

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 Step Toward Safe Unattended Train Operations: A Pioneer Vital Control Module. - Giovanni Mezzina; Arturo Amendola; Mario Barbareschi; Salvatore De Simone; Grazia Mascellaro; Alberto Moriconi; Cataldo Luciano Saragaglia; Diana Serra; Daniela De Venuto (DATE, 2023)

A real-time vital control module to increase capabilities of railway control systems in highly automated train operations. - Arturo Amendola; Mario Barbareschi; Salvatore De Simone; Giovanni Mezzina; Alberto Moriconi; Cataldo Luciano Saragaglia; Diana Serra; Daniela De Venuto (Real Time Syst., 2023)