Robot Behaviour: Design, Description, Analysis and Modelling