Reachability-Aware Collision Avoidance for Tractor-Trailer System with Non-Linear MPC and Control Barrier Function | IEEE Conference Publication | IEEE Xplore