Reachability analysis of hybrid lateral control problem for automated heavy-duty vehicles | IEEE Conference Publication | IEEE Xplore