Modeling of a Marine Hydrokinetic Cycloturbine Vehicle | IEEE Journals & Magazine | IEEE Xplore