Compact MEMS modeling to design full adder in Capacitive Adiabatic Logic | IEEE Conference Publication | IEEE Xplore