
Facilitating construction of safety cases from formal models in Event-B
Keywords: Safety–critical software systems; Safety requirements; Formal development and verification; Event-B; Safety cases; Argument patterns