A Real-Time Architecture for the Identification of Faulty Magnetic Sensors in the JET Tokamak