Yes, GSL is the successor. It's a living project on github. It is relatively easy to generate state machines in GSL, e.g. https://github.com/CodeJockey/glar150/blob/master/src/fsm_c..... This GSL script builds a FSM that uses switch statements; the code isn't as compact as Libero produces yet it works nicely.