A residual-based a posteriori error estimator for a fully-mixed formulation of the Stokes–Darcy coupled problem