Stephen Alexander McCoy

• Combining qualitative and quantitative reasoning to support hazard identification by computer