@article{KunzeWeidlichWeske2015,
  author    = {Matthias Kunze and Matthias Weidlich and Mathias Weske},
  title     = {Querying process models by behavior inclusion},
  journal   = {Software and systems modeling},
  volume    = {14},
  number    = {3},
  pages     = {1105 -- 1125},
  doi       = {10.1007/s10270-013-0389-6},
  year      = {2015},
}