Analysis of thermoelectric coolers by a spice-compatible equivalent-circuit model | IEEE Journals & Magazine | IEEE Xplore