Gravar-mail: Modelling Hybrid Programs with Event-B