Modeling and verification of a thermoelectric energy scavenger | IEEE Conference Publication | IEEE Xplore