Drake Model-Based Design and Verification for Robotics. Please see the Drake Documentation for more information.