Hoffmann, B. More on Graph Rewriting With Contextual Refinement. ECEASST 2015, 71.