?url_ver=Z39.88-2004&rft_id=2012&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Mohammad+Reza%2C+Sarshogh&rft.aulast=Mohammad+Reza&rft.aufirst=Sarshogh&rft.date=5+May+2012&rft.atitle=Extending+Event-B+with+Discrete+Timing+Properties&rft.title=Special+Issue+on+Automated+Verification+of+Critical+Systems&rft.genre=article