Hazard Analysis Techniques for System Safety This textbook is the one I kept after the course ended for reference.
