Propagating changes between aligned process models · Study