A Model-Based Testing System for Safety of Railway Interlocking | IEEE Conference Publication | IEEE Xplore