A dynamic model, including contact bounce, of an electrostatically actuated microswitch | IEEE Journals & Magazine | IEEE Xplore