Hardware description language modeling of an electrostatically actuated bi-axial micromirror | IEEE Conference Publication | IEEE Xplore