Automatic generation of robot interface specifications and representations | IEEE Conference Publication | IEEE Xplore