Hybrid Online Model-Based Testing for Communication-Based Train Control Systems. - Yuemiao Wang; Lei Chen 043; David Kirkwood; Peng Fu; Jidong Lv; Clive Roberts (IEEE Intell. Transp. Syst. Mag., 2018)