Non-Linear Modeling of a Vibro-Impact Wave Energy Converter | IEEE Journals & Magazine | IEEE Xplore