Methods and Tools for Robot System Des