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