@article{HaarmannHolfterPufahletal.2021,
  author    = {Stephan Haarmann and Adrian Holfter and Luise Pufahl and Mathias Weske},
  title     = {Formal framework for checking compliance of data-driven case management},
  journal   = {Journal on data semantics : JoDS},
  volume    = {10},
  number    = {1-2},
  pages     = {143 -- 163},
  doi       = {10.1007/s13740-021-00120-3},
  year      = {2021},
}