Deckwerth, F. and Varró, G. (2014) “Generating Preconditions from Graph Constraints by Higher Order Graph Transformation”, Electronic Communications of the EASST, 67. doi: 10.14279/tuj.eceasst.67.945.