@book{DyckGieseLambers2017,
  author    = {Johannes Dyck and Holger Giese and Leen Lambers},
  title     = {Automatic verification of behavior preservation at the transformation level for relational model transformation},
  number    = {112},
  isbn      = {978-3-86956-391-6},
  year      = {2017},
}