A case study of highway traffic flow model - model validation and simulation | IEEE Conference Publication | IEEE Xplore