Registre de correu electrònic: Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B