Analytical Compact Model in Verilog-A for Electrostatically Actuated Ohmic Switches | IEEE Journals & Magazine | IEEE Xplore