@article{AwadWeidlichWeske2011,
  author    = {Ahmed Mahmoud Hany Aly Awad and Matthias Weidlich and Mathias Weske},
  title     = {Visually specifying compliance rules and explaining their violations for business processes},
  journal   = {Journal of visual languages and computing},
  volume    = {22},
  number    = {1},
  pages     = {30 -- 55},
  doi       = {10.1016/j.jvlc.2010.11.002},
  year      = {2011},
}