An extensible framework for customizable model repair. - Angela Barriga; Rogardt Heldal; Ludovico Iovino; Magnus Marthinsen; Adrian Rutle (MoDELS, 2020)