High-level symbolic simulation for automatic model extraction | IEEE Conference Publication | IEEE Xplore