Dynamic modeling and analysis of pitch motion of a basilisk lizard inspired quadruped robot running on water | IEEE Conference Publication | IEEE Xplore