A posteriori error estimates and stopping criteria for solvers using the domain decomposition method and with local time stepping