Non-linear electromechanical RF model of a MEMS varactor based on veriloga© and lumped-element parasitic network | IEEE Conference Publication | IEEE Xplore