@article{weber:etal:dapd-10,
  author = {Ingo Weber and J\"org Hoffmann and Jan Mendling},
  title = {Beyond Soundness: On the Verification of Semantic Business Process
	Models},
  journal = {Distributed and Parallel Databases (DAPD)},
  year = {2010},
}