@article{DyckGieseLambers2019,
  author    = {Johannes Dyck and Holger Giese and Leen Lambers},
  title     = {Automatic verification of behavior preservation at the transformation level for relational model transformation},
  journal   = {Software and systems modeling},
  volume    = {18},
  number    = {5},
  pages     = {2937 -- 2972},
  doi       = {10.1007/s10270-018-00706-9},
  year      = {2019},
}