Engineering for robot systems