Causal-Consistent Reversible Debugging: Improving CauDEr | Publicación