Deckwerth, F.; Varró, G. Generating Preconditions from Graph Constraints by Higher Order Graph Transformation. eceasst 2014, 67.