A symbolic approach to the time-domain analysis of nonlinear or switched networks