1. Modeling in Event-B: System and Software Engineering;Abrial,2010
2. Formal methods: state of the art and future directions;Clarke;ACM Comput. Surv.,1996
3. Mastering System Analysis and Design through Abstraction and Refinement;Butler,2013
4. Towards refinement semantics of real-time trigger-response properties in Event-B;Zhu,2019
5. The B-Book: Assigning Programs to Meanings;Abrial,2005