Added reference to FSM diagram