• Previous work analyses report structure,
  - NOT human error in accidents.
  
  
  
  
• Previous clauses:
  - do not distinguish users from systems;
  - do not represent critical user actions;
  - do not represent time and concurrency.