1. DEPARTMENT OF ENERGY ( 1990 ) The public inquiry into the Piper Alpha disaster (Cullen Report) , HMSO .
2. WANG , J. ( 1994 ) Formal safety analysis methods and their application to the design process. Engineering Design Centre , University of Newcastle upon Tyne .