WARNING: This page is about a different car, the 2011 Hyundai Elantra. However, it is still accessible from the selected car via links, so may be relevant.
Fig 1: Input Speed Sensor - Circuit Diagram
Courtesy of HYUNDAI MOTOR CO.
Fig 1: Brake Control Solenoid Valve - Circuit Diagram