M. R. Sarshogh and M. Butler, “Specification and refinement of discrete timing properties in Event-B”, eceasst, vol. 46, Mar. 2012.