Formal verification of Tunnel Diode Oscillator with temperature variations | IEEE Conference Publication | IEEE Xplore