Design and Analytical Modeling of a Double-Joint Catheter Robot With Wire-Reinforced Spring Backbones | IEEE Journals & Magazine | IEEE Xplore