Abstract is missing.
- Two Causal Analyses of the Black Hawk Shootdown during Operation Provide ComfortPeter B. Ladkin, Jörn Stuphorn. 3-23 [doi]
- A Contract-based Approach to Designing Safe SystemsIain Bate, Richard Hawkin, John A. McDermid. 25-36 [doi]
- A New Component Concept for Fault TreesBernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel. 37-46 [doi]
- Measuring Safety: Applying PSM to the System Safety DomainJohn Murdoch, Graham Clark, Antony Powell, Paul Caseley. 47-55 [doi]
- A Pragmatic Approach to Reasoning about the Assurance of Safety ArgumentsRob Weaver, Jane Fenn, Tim Kelly. 57-67 [doi]
- Safety Assurance Contracts for Integrated Modular AvionicsPhilippa Conmy, Mark Nicholson, John A. McDermid. 69-78 [doi]
- Security as a Safety Issue in Rail CommunicationsJason Smith, Selwyn Russell, Mark Looi. 79-88 [doi]
- SIL Rating Fire Protection EquipmentRichard M. Robinson, Kevin J. Anderson. 89-97 [doi]