Am besten definierst du erstmal einen neuen Typ, das spart gerade bei Funktionszeigern eine Menge Tipparbeit.
Code:
typedef void(*fptr_t)(void);


fptr_t StateMachine ( void ) {
...
    return Timer_SetTime;
...
}


int main ( void ) {

fptr_t nextState;
...
nextState = StateMachine();
nextState();
...
}