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