Title: Combining qualitative and quantitative reasoning to support hazard identification by computer
First published: 1999