Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems. - Airy Magnien; Gabriele Cecchetti; Anna Lina Ruscelli; Paul Hyde; Jin Liu; Stefan Wegele (RSSRail, 2022)