Languages for sensor-based control in robotics (Springer, 1987)