CPG-based dynamics modeling and simulation for a biomimetic amphibious robot | IEEE Conference Publication | IEEE Xplore