selected publications conference paper Integration of mechatronic design tools with CAMeL, exemplified by vehicle convoy control design 2002