A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. - Arturo Amendola; Anna Becchi; Roberto Cavada; Alessandro Cimatti; Alberto Griggio; Giuseppe Scaglione; Angelo Susi; Alberto Tacchella; Matteo Tessi (ISoLA (3), 2020)

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)

NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. - Arturo Amendola; Anna Becchi; Roberto Cavada; Alessandro Cimatti; Andrea Ferrando; Lorenzo Pilati; Giuseppe Scaglione; Alberto Tacchella; Marco Zamboni (TACAS (1), 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)