Integration of mechatronic design tools with CAMeL, exemplified by vehicle convoy control design | IEEE Conference Publication | IEEE Xplore