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