@inproceedings{fmco09,
  author    = {N. Kokash and C. Koehler and Vink, E.P. de},
  title     = {Verification of Context-Dependent Channel-Based Service Models},
  booktitle = {Proc.\ FMCO 2009, Eindhoven, November 4--6, 2009},
  editor    = {Boer, F. de and M. Bonsangue and S. Hallerstede and M. Leuschel},
  publisher = {LNCS 6286},
  year      = {2010},
  pages     = {21--40}
}