Reparación de Modelos Renovada: Sobre la Síntesis Automatizada de Cadenas de Markov