FSM transitions implemented