TY - JOUR AU - Schneider, Steve AU - Treharne, Helen AU - Wehrheim, Heike ID - 3183 JF - Electr. Notes Theor. Comput. Sci. TI - Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study ER -