Non-linear modeling of MEMS-based oscillators using an analog hardware description language | IEEE Conference Publication | IEEE Xplore