Modeling for a Hydrofoil Marine Vehicle in Gazebo | IEEE Conference Publication | IEEE Xplore