1. Rodin: an open toolset for modelling and reasoning in Event-B;Abrial;Int. J. Softw. Tools Technol. Transf.,2010
2. The B-Book: Assigning Programs to Meanings;Abrial,1996
3. Modeling in Event-B: System and Software Engineering;Abrial,2010
4. A formal approach to architectural design patterns;Alencar,1996
5. Designing safe, reliable systems using SCADE;Aziz Abdulla,2006