@inproceedings{sefm2010,
  author    = {N. Kokash and C. Koehler and Vink, E.P. de},
  title     = {Time and Data-Aware Analysis of Graphical Service Models in Reo},
  booktitle = {Proc.\ SEFM 2010, Pisa, September 14--18, 2010},
  editor    = {A. Maggiolo-Schettini, J.L. Fiadeiro and S. Gnesi},
  publisher = {IEEE},
  year      = {2010},
  pages     = {125--134}
}