A Hall effect microsensor for micromechanical device characterization | IEEE Journals & Magazine | IEEE Xplore