A Resilient SIL 2 Driver Machine Interface for Train Control Systems | IEEE Conference Publication | IEEE Xplore