A Model of a Magnetically Sprung Vibration Generator for Power Harvesting Applications | IEEE Conference Publication | IEEE Xplore