A top-down microsystems design methodology and associated challenges | IEEE Conference Publication | IEEE Xplore