Car-following Behavior Model Learning Using Timed Automata