Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System