Behavior preservation in model refactoring using DPO transformations with borrowed contexts - Rangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut 1944-2016; Bladan, Paolo ([Technische Universität Berlin], 2008)