| 2001 | Designing Safety into Medical Decisions and Clinical Processes. | John Fox |
| 2001 | Safety Functions versus Control Functions. | Hans R. Fankhauser |
| 2001 | Project Experience with IEC 61508 and Its Consequences. | Rainer Faller |
| 2001 | Formal Support for Fault Modelling and Analysis. | Tadeusz Cichocki, Janusz Grski |
| 2001 | About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. | Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot |
| 2001 | Safety Patterns - The Key to Formal Specification of Safety Requirements. | Friedemann Bitsch |
| 2001 | Dependability Evaluation. | Cludia Betous-Almeida, Karama Kanoun |
| 2000 | Safety and Security Issues in Electric Power Industry. | Zdzislaw Zurakowski |
| 2000 | Validation of Control System Specifications with Abstract Plant Models. | Wenhui Zhang |
| 2000 | Dependability Evaluation: Model and Method Based on Activity Theory. | Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasquini |
| 2000 | Safe Tech: A Control Oriented Viewpoint. | Maarten Steinbuch |
| 2000 | Formal Methods: The Problem Is Education. | Thierry Scheurer |
| 2000 | SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller. | Andreas Schenk |
| 2000 | A Survey on Safety-Critical Multicast Networking. | James S. Pascoe, Roger J. Loader |
| 2000 | Speeding-Up Fault Injection Campaigns in VHDL Models. | B. Parrotta, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante |
| 2000 | Risk Ordering of States in Safecharts. | Nimal Nissanke, Hamdan Dammag |
| 2000 | Empirical Assessment of Software On-Line Diagnostics Using Fault Injection. | John Napier, John H. R. May, Gordon Hughes |
| 2000 | Improving Software Development by Using Safe Object Oriented Development: OTCD. | Xavier Mhaut, Pierre Morre |
| 2000 | A Method of Analysis of Fault Trees with Time Dependencies. | Jan Magott, Pawel Skrobanek |
| 2000 | Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach. | Bev Littlewood, Peter T. Popov, Lorenzo Strigini |
| 2000 | Deriving Quantified Safety Requirements in Complex Systems. | Peter A. Lindsay, John A. McDermid, David J. Tombs |
| 2000 | Causal Reasoning about Aircraft Accidents. | Peter B. Ladkin |
| 2000 | Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs. | Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski |
| 2000 | A Dependability-Explicit Model for the Development of Computing Systems. | Mohamed Kaniche, Jean-Claude Laprie, Jean-Paul Blanquart |
| 2000 | Forensic Software Engineering and the Need for New Approaches to Accident Investigation. | Chris Johnson |