@inproceedings{sac10,
  author    = {N. Kokash and C. Koehler and Vink, E.P. de},
  title     = {Data-Aware Design and Verification of Service Composition 
               with {Reo} and {mCRL2}},
  booktitle = {Proc.\ SAC 2010, Sierre, March 21--26, 2010},
  editor    = {S.Y. Shin and S. Ossowski and M. Schumacher and M.J. Palakal 
               and Chih-Cheng Hung},
  publisher = {ACM},
  year      = 2010,
  pages     = {2399--2407}
}