An Open On-Board CBTC Controller Based on N-Version Programming | IEEE Conference Publication | IEEE Xplore