A particular upper expectation as global belief model for discrete-time finite-state uncertain processes