Modeling power budget requirements of implantable electronic devices | IEEE Conference Publication | IEEE Xplore