TITLE : The 4SECURail approach to formalizing standard interfaces between signalling systems components AUTHOR(S) : Belli D, Fantechi A, Gnesi S, Masullo L, Mazzanti F, Pistilli G, Quadrini L, Trentini D, Vaghi C TYPE : Conference article YEAR : 2022 CODE : 471861 *** DO NOT EDIT THIS FILE ***