F. Deckwerth and G. Varró, “Generating Preconditions from Graph Constraints by Higher Order Graph Transformation”, eceasst, vol. 67, Aug. 2014.