TITLE     : Formal analysis of the UNISIG safety application intermediate sub-layer. Applying Formal Methods to railway standard interfaces
AUTHOR(S) : Basile D, Fantechi A, Rosadi I
TYPE      : Conference article
YEAR      : 2021
CODE      : 456088

*** DO NOT EDIT THIS FILE ***