Practical Experience Report: Implementation, Verification and Validation of a Safe and Secure Communication Protocol for the Railway Domain. - Duccio Bertieri; Tommaso Zoppi; Innocenzo Mungiello; Andrea Ceccarelli; Mario Barbareschi; Andrea Bondavalli (LADC, 2019)

Development and validation of a safe communication protocol compliant to railway standards. - Duccio Bertieri; Andrea Ceccarelli; Tommaso Zoppi; Innocenzo Mungiello; Mario Barbareschi; Andrea Bondavalli (J. Braz. Comput. Soc., 2021)