ProB: A Model Checker for B
UML-B: Formal modelling and design aided by UML
Rodin: an open toolset for modelling and reasoning in Event-B
A System-based Approach to the Formal Development of Embedded Controllers for a Railway
Decomposition Structures for Event-B