1. The deconstruction of safety arguments through adversarial counter-argument;Armstrong,2004
2. The use of controlled vocabularies and structured expressions in the assurance of cps;Attwood;Ada User J.,2014
3. CertWare: a workbench for safety case production and analysis;Barry,2011
4. A methodology for safety case development;Bishop,2000
5. Safety and assurance cases: past, present and possible future–an adelard perspective;Bloomfield,2010