Guaranteed Locally-Stable Macromodels of Digital Devices via Echo State Networks | IEEE Conference Publication | IEEE Xplore