1. Safety Analysis of Process Plant Control Systems Based on Model Checking;Chung;The Journal of Safety & Reliability,2003
2. Hazard Identification in Batch and Continuous Computer-Controlled Plants;Chung;Industrial & Eng. Chem. Research,1999
3. The integration of safety and security requirements;Eames;Lecture Notes in Computer Science,1999
4. Secure web-based monitoring and control system;Furuya;The 26th Annual Conference of The IEEE Industrial Electronics Society,2000
5. Ministry of Defence (MOD) (1996). Hazop studies on systems containing programmable electronics, Part 2: general Application Guidance. Interim Defence Standard, Glasgow