Modeling Finite State Machines for synthesis