@INPROCEEDINGS{lenhard2013seke,
  author = {J\"org Lenhard and Guido Wirtz},
  title = {{Detecting Portability Issues in Model-Driven BPEL Mappings}},
  booktitle = {SEKE},
  year = {2013},
  address = {Boston, Massachusetts, USA},
  month = {June},
}