Dynamic modeling of articulated vehicles for automated highway systems | IEEE Conference Publication | IEEE Xplore