Rigorous event-driven (RED) analysis of large-scale nonlinear RC circuits | IEEE Journals & Magazine | IEEE Xplore