J. Abrial, Modeling in Event-B: System and Software Engineering, 2009.
DOI : 10.1017/CBO9781139195881

D. Cansell, D. Méry, and J. Rehm, Time constraint patterns for event B development Formal Specification and Development in B, pp.140-154, 2006.

J. Rehm, Pattern Based Integration of Time applied to the 2-Slots Simpson Algorithm In Integration of Model-based Formal Methods and Tools - IM FMT'2009 -in IFM, 2009.