Characterization and model validation of triboelectric nanogenerators using Verilog-A | IEEE Conference Publication | IEEE Xplore