Arana, Ines, Ahriz, Hatem, "Verification of redesign models: a CSP approach.", , 2001