SMAS: a program for the concurrent state reduction and state assignment of finite state machines | Publicación