On the efficacy of safety-related software standards
  Difficulty of safety-related software standards to help producing software for safe systems is discussed. Some research activity and other actions are proposed to focus on and possibly resolve long-lasting related problems. 
Mario Fusani, Giuseppe Lami
cs.SE