1. On Formal Support for Industrial-Scale Requirements Analysis;Anderson,1993
2. Design and Safety Analysis of a Portable Climbing Robot;Bahr;Intern. Journal of Robotics and Automation,1993
3. Applying Math-ematical Software Documentation: An Ex-perience Report;Bauer,1995
4. Risk and System Integrity Concepts for Safety-Related Control Systems;Bell;Microprocessors and Microsystems,1993
5. Safety in Chemical Process Automation;Bell,1994