An automated design environment for micromechanical sensors | IEEE Conference Publication | IEEE Xplore