Title of paper: Formal Methods for Industrial Critical Systems: 30 Years of Railway Applications

This paper, written in honour of Tiziana Margaria, aims to provide a comprehensive presentation of where mainstream formal methods are currently used for modelling and analysis of railway applications.