An Open On-Board CBTC Controller Based on N-Version Programming. - Donald W. Carr-Finch; Ruben Ruelas; J. F. Gutierrez-Ramirez; H. Salcedo-Becerra (CIMCA/IAWTIC, 2005)