Gửi tin nhắn: Model-based verification method for solving the parameter uncertainty in the train control system $ /Ruijun Cheng a , Jin Zhou