Computer-aided time-domain analysis of switched networks