Rogério de Lemos Amer Saeed Tom Anderson Analyzing Safety Requirements for Process-Control Systems. 42-53 1995 12 IEEE Software 3 http://www.computer.org:80/software/so1995/s3042abs.htm db/journals/software/software12.html#LemosSA95