@inproceedings{CTSLPL13,
  author        = {M. Chen and T. H. Tan and J. Sun and Y. Liu and J. Pang and X. Li},
  title         = {Verification of functional and non-functional requirements of web service composition},
  booktitle     = {Proc.\ 15th Conference on Formal Engineering Methods (ICFEM'13)},
  publisher     = {Springer-Verlag},
  series        = {Lecture Notes in Computer Science},
  year          = {2013},
  volume        = {8144},
  pages         = {313-328},
  url           = {http://satoss.uni.lu/jun/papers/ICFEM13.pdf}
}