Robot Behaviour Design, Description, Analysis and Modelling - Nehmzow, Ulrich (Springer London, 2009)