A Fail-Safe Microcontroller for Railway Signalling | IEEE Conference Publication | IEEE Xplore