Leader-Follower Formation Control of Mobile Sensor Robots for Cable Tunnel Inspection | IEEE Conference Publication | IEEE Xplore