Title: Computer-aided design of finite state machines