Rangel, G.; König, B.; Ehrig, H. Bisimulation Verification for the DPO Approach With Borrowed Contexts. ECEASST 2007, 6.