Don't cares in logic minimization of extended finite state machines