Wireless power transfer for a miniature gastrostimulator | IEEE Conference Publication | IEEE Xplore