Practical Experience Report: Implementation, Verification and Validation of a Safe and Secure Communication Protocol for the Railway Domain | IEEE Conference Publication | IEEE Xplore