J. D. Lawrence

Software safety hazard analysi

Software safety hazard analysis

1996

Furniture-making from the inside out

1995

Design factors for safety-crit

Design factors for safety-critical software

1994

Survey of industry methods for

Survey of industry methods for producing highly reliable software

1994