Modeling the decision process of the lane-change maneuver using a situation-operator model | IEEE Conference Publication | IEEE Xplore