@article{3183,
  author       = {{Schneider, Steve and Treharne, Helen and Wehrheim, Heike}},
  journal      = {{Electr. Notes Theor. Comput. Sci.}},
  pages        = {{69----80}},
  title        = {{{Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study}}},
  doi          = {{10.1016/j.entcs.2011.11.019}},
  year         = {{2011}},
}