Artificial lateral line based longitudinal separation sensing for two swimming robotic fish with leader-follower formation | IEEE Conference Publication | IEEE Xplore