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