Analytical Model and Verification Algorithm to Prevent Injection Induced Latchup Failures | IEEE Conference Publication | IEEE Xplore