Robot Development of a B specification of a Robot moving around a simple Maze, using the B tools Atelier B & ProB.