Title: Computer aided analysis of finite state machines