Time Constraint Patterns for Event B Development. - Dominique Cansell; Dominique Méry; Joris Rehm (B, 2007)

Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method. - Joris Rehm; Dominique Cansell (ISoLA, 2007)

Gestion du temps par le raffinement. (Refinement Patterns for Real-Time Systems). - Joris Rehm (2009)

Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method. - Joris Rehm (Int. J. Softw. Tools Technol. Transf., 2010)

Fixed-Point Arithmetic Modeled in B Software Using Reals. - Jérôme Guéry; Olivier Rolland; Joris Rehm (ABZ, 2014)

Towards a Method for the Decomposition by Refinement in Event-B. - Kenza Kraibi; Rahma Ben Ayed; Joris Rehm; Simon Collart Dutilleul; Philippe Bon; Dorian Petit (FM Workshops (2), 2019)

Event-B Decomposition Analysis for Systems Behavior Modeling. - Kenza Kraibi; Rahma Ben Ayed; Joris Rehm; Simon Collart Dutilleul; Philippe Bon; Dorian Petit (ICSOFT, 2019)