FSM is built in Racket, you can download Racket here.
Below you can find instructions on how to install FSM.
raco pkg install https://github.com/morazanm/fsm.git
Grahviz install instructions can be found at the graphviz website
.