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