How about esterel? It seems to be a nice language based on FSM. https://en.wikipedia.org/wiki/Esterel