A micromachined resonant magnetic field sensor | IEEE Conference Publication | IEEE Xplore