Gravar-mail: Nonlinear modeling of vibrational energy harvesters for smart prostheses