Yu, Lin, Hu, Hidaka, Kato, Montrieux, 2012. Maintaining invariant traceability through bidirectional transformations, in: . IEEE.. https://doi.org/10.1109/icse.2012.6227162