Bản ghi email: A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B