Mohammad Reza, Sarshogh and Michael, Butler (2012) Extending Event-B with Discrete Timing Properties. Special Issue on Automated Verification of Critical Systems . (Submitted)