Thread safe FSM extension.