Registre de correu electrònic: Safety of Railway Systems and Formal/Semiformal Methods