Sarshogh, M. R.; Butler, M. Specification and Refinement of Discrete Timing Properties in Event-B. eceasst 2012, 46.