A posteriori stopping criteria for space-time domain decomposition for the heat equation in mixed formulations (Electronic transactions on numerical analysis, 2018)