Verifying robust frequency domain properties of non linear oscillators using SMT | IEEE Conference Publication | IEEE Xplore