Robot behaviour design, description, analysis and modelling / - Nehmzow, Ulrich, (Springer,)