Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique