Exploiting User-Definable Synchronizations in Graph Transformation