Rapid Design of Mechanical Logic Based on Quasi-Static Electromechanical Modeling | IEEE Conference Publication | IEEE Xplore