F. Orejas, A. Boronat, H. Ehrig, F. Hermann, and H. Schölzel, “On Propagation-Based Concurrent Model Synchronization”, eceasst, vol. 57, Sep. 2013.