Formalizing the heterogeneity of the vehicle-driver system to reproduce traffic oscillations. (November 2020)