Orejas, Fernando, Artur Boronat, Hartmut Ehrig, Frank Hermann, and Hanna Schölzel. 2013. “On Propagation-Based Concurrent Model Synchronization”. Electronic Communications of the EASST 57 (September). https://doi.org/10.14279/tuj.eceasst.57.871.