System-level modeling and simulation of a frequency-tunable electrostatic energy harvester | IEEE Conference Publication | IEEE Xplore