@InProceedings{DubrovinJunttilaHeljanko:FMOODS2008,
  author =    {Dubrovin, Jori and Junttila, Tommi and Heljanko, Keijo},
  title =     {Symbolic Step Encodings for Object Based Communicating
               State Machines},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {FMOODS 2008},
  pages =     {96--112},
  year =      {2008},
  editor =    {Barthe, G. and de Boer, F.},
  volume =    {5051},
  series =    {Lecture Notes in Computer Science},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer},
}