Gravar-mail: Magnetic levitation-based electromagnetic energy harvesting: a semi-analytical non-linear model for energy transduction