1. Modeling in Event-B: System and Software Engineering;Abrial,2010
2. Claim, argument, evidence;Adelard LLP,2020
3. EN 50129: Railway Applications - Communication, Signaling and Processing Systems - Safety Related Electronic Systems for Signaling, Standard;Anon,2003
4. Structured Assurance Case Metamodel, Standard;Anon,2020
5. Measure Theory and Probability Theory;Athreya,2006