Modal and transition dwell time computation in switching systems: a set-theoretic approach