• Use formal models of accidents to:
  - specify test cases for future systems;
  - drive siumulations with executable logic.
  
  
  
  
• Extend methods to improve reports:
  - by identifying errors in argument;
  - by better treatment of human error.