Software Safety Analysis: An Integrated Approach
by Timothy Simmons