A Model-Based Testing System for Safety of Railway Interlocking. - Haoxiang Su; Ming Chai; Hongjie Liu; Jinchuan Chai; Chaopeng Yue (ITSC, 2022)