A Formal Approach for Modeling and Simulation of Human Car-Following Behavior | IEEE Journals & Magazine | IEEE Xplore