A general procedure for collision detection between an industrial robot and the environment | IEEE Conference Publication | IEEE Xplore