Theoretical modeling and FEA simulation of a CMOS-MEMS resonator