Simulation and demonstration for the thermoelectric cooler to improve warm-up time of OCXO | IEEE Conference Publication | IEEE Xplore