FSM with probability