A holistic approach for modeling and verification of human driver behavior | IEEE Conference Publication | IEEE Xplore