Advanced Path Tracking and Traffic Management Using IR Sensors and Timed Automata