Modelling FSM