Technician Y says PM passive permanent magnet ABS wheel speed sensors produce AC voltage. Technician Z says input from wheel speed sensors are used for anti-lock brake, electronic traction control, and electronic stability control systems. Who is correct?