Design of fail safe computer systems for railway control | IET Conference Publication | IEEE Xplore