@INPROCEEDINGS{Preissinger2014BPELStaticAnalysisProposal,
  title={Towards Standard Conformant BPEL Engines: The Case of Static Analysis},
  author={Prei{\ss}inger, Christian R and Harrer, Simon and Schuberth, Stephan JA and Bimamisa, David and Wirtz, Guido},
  booktitle = {Proceedings of the 6th Central-European Workshop on Services and
	their Composition},
  year={2014},
  month = {February},
  address = {Potsdam, Germany}
}