A methodology for behaviour design of autonomous systems | IEEE Conference Publication | IEEE Xplore