@TechReport{lenhard2011patternbased,
  author      = {J\"org Lenhard},
  title       = {A Pattern-based Analysis of {WS-BPEL} and Windows Workflow},
  institution = {Otto-Friedrich Universit\"at Bamberg},
  year        = {2011},
  type        = {Bamberger Beitr\"age zur Wirtschaftsinformatik und Angewandten Informatik,},
  number      = {no. 88},
  month       = {March},
}