A Formal Methods Demonstrator for Railways