Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces. - Davide Basile 001; Alessandro Fantechi; Irene Rosadi (FMICS, 2021)