Modeling and verification for heavy-duty semi-trailer | IEEE Conference Publication | IEEE Xplore