A graphical tool for designing finite state machines