Worst-case SPICE model generation for a process in development using Athena, Atlas, Utmost and Spayn | IEEE Conference Publication | IEEE Xplore