A Linear Permanent Magnet Generator for Powering Implanted Electronic Devices | IEEE Journals & Magazine | IEEE Xplore