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