Orejas, F. (2013) “On Propagation-Based Concurrent Model Synchronization”, Electronic Communications of the EASST, 57. doi: 10.14279/tuj.eceasst.57.871.