@techreport { cite860,
  title = "Hazard Analysis of Interactive Systems",
  author = "Andrew Hussey and Brenton Atchison",
  institution = "Software Verification Research Centre",
  address = "School of Information Technology,
   The University of Queensland, Brisbane 4072, Australia",
  number = "00-18",
  month = jul,
  year = "2000",
  keywords = "safety-critical, interactive system, hazard analysis.",
  abstract = "This report discusses approaches to analysis of safety-critical systems
for operator error.  The report summarises the existing literature in the
area as well as the guidance provided by existing safety-critical system 
development standards.",
  url = "http://www.svrc.it.uq.edu.au/Publications/2000/svrc2000-00.html"
}