SYSTEM SAFETY, SOFTWARE SAFETY,
HUMAN FACTORS ENGINEERING,
RELIABILITY, AVAILABILITY, MAINTAINABILITY
REFERENCE MATERIAL


A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Click here to see our scheduled system safety and software safety courses.
​
  • Safe, Efficient Garbage Collection For C++, J.R. Ellis, D.L. Detlefs, DEC Research Report, June 1993.
  • Safeguards For Personnel Protection - 29CFR1910.335, Occupational Health and Safety Administration.
  • SafeIT - A Government Consultation Document On The Safety Of Computer-Controlled Systems, Part 1 - Overall Approach, Part 2 - Standards Framework, Department of Trade and Industry, May 1990.
  • Safer C: Developing Software For High-Integrity & Safety-Critical Systems, Les Hatton, McGraw-Hill, ISBN 0-07-707640-0, 1995.
  • Safety Analysis And Risk Assessment Requirements Document, Space Station Freedom Program Office, NASA, SSP 30309, Revision C, July 1992.
  • Safety Analysis Applied To Software Design, Stephen S. Cha, PhD thesis, University of California, Irvine, California, June 1991.
  • Safety Analysis Of Timing Properties In Real-Time Systems, F. Jahanian, A.K. Mok, IEEE Transactions of Software Engineering, Vol. 12, No. 9, September 1986, pp 890-904.
  • Safety Analysis Using Petri Nets, Nancy G. Leveson, Janice L. Stolzy, IEEE Transactions On Software Engineering, Vol. 13, No. 3, March 1987, pp 386-397.
  • Safety And Occupational Health (SOH) Program - Instruction 6055.1, Department of Defense, August 19, 1998.
  • Safety And Reliability Of Software Based Systems, Proceedings of the Twelfth Annual CSR Workshop - Bruges - 12-15 September 1995, Edited by Roger Shaw, Springer-Verlag, ISBN 3-540-76034-2, 1996.
  • Safety Aspects Of Computer Control, Edited by Phil Bennett, Butterworth-Heinemann.
  • Safety Assertions For Process Control Systems, Nancy G. Leveson, Timothy J. Shimeall, In Proceedings 13th International Symp. On Fault Tolerant Computing, Milan, July 1983, IEEE.
  • Safety Assessment Of Computer Systems Using HAZOP And Audit Techniques, M.F. Chudleigh, J.R. Catmur, In Safecomp '92, Safety of Computer Control Systems, Oxford: Pergamon Press, 1992.
  • Safety Assessment of General Aviation Airplanes and Rotorcraft in Commercial Service - SAE ARP5151, Society of Automotive Engineers, October 2006.
  • Safety Case Development: Current Practice, Future Prospects, S.P. Wilson, T.P.Kelly, J.A. McDermid, In Proceedings of the Twelfth Annual CSR Workshop On Safety And Reliability Of Software Based Systems - Bruges - 12-15 September 1995, Edited by Roger Shaw, Springer-Verlag, ISBN 3-540-76034-2, 1996.
  • Safety Case Development Manual, EUROCONTROL, October 13, 2006.
  • Safety Case For The NERC Air Traffic Control System, S. Visram, W. Artner, P. Marsden, In Proceedings 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria, October 23-25, 1996.
  • Safety Cases - How Did We Get Here?, Roger Shaw, In Proceedings of the Twelfth Annual CSR Workshop On Safety And Reliability Of Software Based Systems - Bruges - 12-15 September 1995, Edited by Roger Shaw, Springer-Verlag, ISBN 3-540-76034-2, 1996.
  • Safety-Critical Computer Systems, Neil Storey, Addison-Wesley, ISBN 0-201-42787-7, 1996.
  • Safety-Critical Systems Built With COTS, Joseph A. Profeta III, Nikos P. Andrianos, Bing Yu, Barry W. Johnson, Todd A. DeLong, David Guaspari, Damir Jamsek, IEEE Computer, November 1996, pp 54-60.
  • Safety-Critical Systems - Current Issues, Techniques And Standards, Edited by Felix Redmill, Tom Anderson, Chapman & Hall, ISBN 0-412-54820-8, 1993.
  • Safety-Critical Systems, Formal Methods And Standards, J. Bowen and V. Stavridou, Software Engineering Journal, 8(4), pp 189-209, July, 1993.
  • Safety-Critical Systems - Legal Liability, Dai Davis, Computing & Control Engineering Journal, February 1994.
  • Safety Design Requirements And Guidelines For Munition Related Safety Critical Computing Systems, NATO Standardization Agreement - STANAG 4404, Draft. HCRQ HAS A COPY
  • Safety Engineering for Defence Systems - Standard - DEF(AUST)5679 Issue 2, October 14, 2008.
  • Safety Issues For Software - HB 220-2000, Australian Computer Society, ISBN 0-7337-3282-6, April 13, 2000.
  • Safety Management Requirements For Defence Systems - Interim MOD 00-56, Ministry Of Defence, Directorate of Standardisation, Issue 3, December 17, 2004.
  • Safety Of Machinery: Basic Concepts, General Principles For Design, Part 1: Basic Terminology, Methodology - ISO 12100-1, ISO, 2003.
  • Safety Of Machinery: Basic Concepts, General Principles For Design, Part 2: Technical Principles - ISO 12100-2, ISO, 2003.
  • Safety Of Machinery: Emergency Stop - Principles For Design - ISO 13850, ISO, 1996.
  • Safety Of Machinery: Interlocking Devices Associated With Guards, Principles For Design And Selection - ISO 14119, ISO, 1998.
  • Safety Of Machinery: Prevention Of Unexpected Start-Up - ISO 14118, ISO, 2000.
  • Safety Of Machinery: Principles Of Risk Assessment - ISO 14121, ISO, 1999.
  • Safety Of Machinery: Safety Distances To Prevent Danger Zones Being Reached By The Lower Limbs - ISO 13853, ISO, 1998.
  • Safety Of Machinery: Safety Distances To Prevent Danger Zones Being Reached By The Upper Limbs - ISO 13852, ISO, 1996.
  • Safety Of Machinery: Safety-Related Parts Of Control Systems, Part 1: General Principles For Design - ISO 13849-1, ISO, 1999.
  • Safety Planning Information Directed To Emergency Response: Resource Manual, U.S. DOT, SPI-JNB-94-005, K-148-000.
  • Safety Related Software For Railway Signalling, BRB/LU LTD/RIA Technical Specification No. 23, Railway Industry Association, 1991.
  • Safety-Related Systems: Professional Brief, Institute of Electrical Engineers, 1992.
  • Safety, Reliability, Maintainability, And Quality Provisions For The Space Shuttle Program, NASA, NHB 5300.4 (1D2).
  • Safety Review Process For Space Station, Space Station Freedom Program Office, NASA, TSS 30599.
  • Safety Risk Management Guidance For System Acquisitions (SRMGSA), Version 2.1, U.S. DOT, Federal Aviation Administration, June 2018.
  • Safety Through Training, Neil Storey, In Proceedings Second Safety Through Quality Conference, Cape Canaveral, Florida, 23-25 October 1995, pp 261-70.
  • Safety Verification Of Ada Programs Using Software Fault Trees, Nancy G. Leveson, Stephen S. Cha, Timothy J. Shimeall, IEEE Software, Vol. 8, No. 4, July 1991, pp 48-59.
  • Safeware: System Safety And Computers, Nancy G. Leveson, ISBN 0-201-11972-2, 1995.
  • Second Annual Report For Clarification Of DO-178B "Software Considerations In Airborne Systems And Equipment Considerations" - DO-248A, RTCA, September 13, 2000.
  • Security And Safety, Carl Landwehr, In Workshop On Software Safety, Naval Intelligence Center, Washington, D.C., 1993.
  • SEMSPLC Guidelines: Safety-Related Application Software For Programmable Logic Controllers, IEE Technical Guidelines 8:1996, Institute Of Electrical Engineers, ISBN 0-85296-887-6.
  • Set Phasers On Stun, And Other True Tales Of Design, Technology And Human Error, Steven Casey, Aegean Publishing Company, Santa Barbara.
  • Seven Myths Of Formal Methods, J. Anthony Hall, IEEE Software, September 1991.
  • Simpler, Cheaper Plants Or Wealth And Safety At Work, Trevor A. Kletz, In European Major Hazards, Edited by B.H. Harvey, Oyez Scientific and Technical Services, Ltd., London, 1984, pp 33-41.
  • Simplified System Safety, Bruce A. Brown, In Professional Safety, American Society of Safety Engineers, February 1993, pp 24-29.
  • Sneak Circuit Analysis: A Means Of Verifying Design Integrity, U.S. Navy, NAVSO P-3634.
  • Sneak Circuit And Software Sneak Analysis, S.G. Godoy, G.J. Engels, Journal of Aircraft, Vol. 15, August 1978, pp 509-513.
  • Software And Safety, Report Of The Software Reliability Interest Group, Canada, April 1991.
  • Software Aspects Of Defence Against Common Cause Failures, Use Of Software Tools And Of Pre-developed Software - IEC 60880-2, International Electrotechnical Commission, Geneva, Switzerland, December 21, 2000.
  • Software Assessment: Reliability, Safety, Testability, Michael A. Friedman, Jeffrey M. Voas, ISBN 0-471-01009-X, 1995.
  • Software Bugs: A Matter Of Life And Liability, E. Joyce, Datamation, Vol. 33, No. 10, May 15, 1987, pp 88-92.
  • Software Configuration Management, W.A. Babich, Addison-Wesley, 1986.
  • Software Considerations In Airborne Systems And Equipment Certification - DO-178B, RTCA, December 1, 1992.
  • Software Considerations In Airborne Systems And Equipment Certification - DO-178C, RTCA, December 13, 2011.
  • Software Development Failures, Kweku Ewusi-Mensah, MIT Press, ISBN 0262050722, September 2003.
  • Softare Development Tools for Safety-Critical, Real-Time Systems Handbook - FAA AR-06/35, Federal Aviation Administration, June 2007.
  • Software Engineering: Guidelines for the Application of ISO 9001:2000 to Computer Software, International Organization for Standardization, 2004.
  • Software Engineering Guides (ESA), Edited by Jon Fairclough, ISBN 0-13-449281-1, Prentice-Hall, 1995.
  • Software Engineering Malpractice And Its Avoidance, Christopher J. Palermo, In Proceedings of Third International Symposium on Software Reliability Engineering, IEEE Computer Society Press, 1992.
  • Software Engineering Risk Analysis And Management, R.N. Charette, McGraw-Hill, 1989, ISBN 0-07-010719-X.
  • Software Engineering Standards (ESA), Edited by Carlo Mazza, et al, ISBN 0-13-106568-8, Prentice Hall, 1994.
  • Software Engineering: The Future Of A Profession, J.D. Musa, IEEE Software, Vol. 2, No. 1, January 1985, pp 55-62.
  • Software Evaluation For Certification: Principles, Practice and Legal Liability, Edited by A. Rae, P. Robert, H. Hausen, McGraw-Hill, 1995.
  • Software Failure: Counting Up The Risks, Ivars Peterson, Science News, Vol. 140, No. 24, December 14, 1991.
  • Software Failure: Management Failure -- Amazing Stories And Cautionary Tales, Stephen Flowers, ISBN 0-471-95113-7, 1996.
  • Software Failure Modes And Effects Analysis, Donald J. Reifer, IEEE Transactions On Reliability, Vol. 28, No. 3, August 1979, pp 247-249.
  • Software Fault Tolerance, Edited by Michael R. Lyu, ISBN 0-471-95068-8, 1995.
  • Software Fault Tolerance By Design Diversity, Peter Bishop, In Software Fault Tolerance, Edited by Michael R. Lyu, ISBN 0-471-95068-8, 1995.
  • Software Fault Tolerance: The Case For Forward Recovery, In Proceedings of the AIAA Conference on Computers in Aerospace, AIAA, Hartford, Connecticut, 1983.
  • Software Fault Tree Analysis, Nancy G. Leveson, P.R. Harvey, Journal of Systems and Software, Vol. 3, 1983, pp 173-181.
  • Software Fault Tree Analysis Applied To Ada, Nancy G. Leveson, Janice L. Stolzy, In Proceedings of COMPSAC '84: The IEEE Computer Society's Eighth International Computer Software & Applications Conference, Chicago, Illinois, 1984, pp 458-467.
  • Software Fault Trees And Weakest Preconditions: A Comparison And Analysis, S. J. Clarke and J. A. McDermid, Software Engineering Journal, 8(4), pp 225-236, July, 1993.
  • Software For Computers In The Safety Systems Of Nuclear Power Stations - IEC 60880, International Electrotechnical Commission, Geneva, Switzerland, September 30, 1986.
  • Software/Hardware Reliability - Bridging The Communication Gap, Ellen Walker, RAC Journal, Vol. 4, No. 2, pp 2-4, 2nd Quarter 1996.
  • Software Hazard Analysis Techniques, Software System Design Methods, Nancy G. Leveson, J.K. Skwirzynski, Editor, NATO ASI Series F22, Springer-Verlag, Heidelberg, 1986, pp 681-699.
  • Software In ATM Functional Systems - ESARR 6, EUROCONTROL, May 6, 2010.
  • Software In Protection And Control Systems: A Proposed Regulatory Guide, C-138, Draft 5, Atomic Energy Control Board, March 20, 1996.
  • Software In Safety-Related Systems, Edited by B.A. Wichmann, ISBN 0-47-193474-7, 1992.
  • Software Inspection, Tom Gilb, Dorothy Graham, Addison-Wesley, ISBN 0-201-63181-4.
  • Software Inspection: An Industry Best Practice, Edited by David A. Wheeler, Bill Brykczynski, Reginald N. Meeson, Jr., IEEE Computer Society Press, ISBN 0-8186-7340-0, 1996.
  • Software Integrity Assurance Considerations for Communication, Navigation, Surveillance and Air Traffic Management (CNS/ATM) Systems - DO-278A, RTCA, December 13, 2011.
  • Software Integrity Program, Phil S. Babel, Aeronautical Systems Division, U.S. Air Force, April 1987.
  • Software Quality Assurance:Techniques For Reducing Software Risk, William L. Bryan, Stanley G. Siegel, ISBN 0-444-01120-X, 1988.
  • Software Quality:Concepts And Plans, R.H. Dunn, ISBN 0-13-820283-4, 1990.
  • Software-Related Accidents - First-Hand Insight, HCRQ, Inc., Internal Publication.
  • Software Reliability, J.D. Musa, A. Iannino, Advances in Computers, Vol. 30, 1990, pp 85-170.
  • Software Reliability And Safety, In Reliability Engineering & System Safety, Vol. 31, No. 1 & 2, 1991.
  • Software Reliability - An Overview - SAE JA1001, Society of Automotive Engineers, draft.
  • Software Reliability-Engineered Testing, J.D. Musa, IEEE Computer, November 1996, pp 61-68.
  • Software Reliability Engineering - A Technology For The 90's, J.D. Musa, W.W. Everett, IEEE Software, Vol. 7, No. 6, November 1990, pp 36-43.
  • Software Reliability Engineering At AT&T, J.D. Musa, A. Iannino, In Proceedings Probabilistic Safety and Risk Management Conference, Beverly Hills, California, February 4-6, 1991, Elsevier Scientific Publishing, pp 485-491.
  • Software Reliability Engineering: More Reliable Software Faster And Cheaper, 2nd Edition, John D. Musa, Authorhouse, ISBN 1418493880, September 30, 2004.
  • Software Reliability Implementation Guide - SAE JA1003, Society of Automotive Engineers, draft.
  • Software Reliability Measurement Experience, Allen P. Nikora, Michael R. Lyu, In Handbook Of Software Reliability Engineering, Edited by Michael R. Lyu, IEEE Computer Society Press, ISBN 0-07-039400-8, 1996.
  • Software Reliability: Measurement, Prediction, Application, J.D. Musa, A. Iannino, K. Okumoto, McGraw-Hill, 1987.
  • Software Reliability Program Standard - SAE JA1002, Society of Automotive Engineers, July 1998.
  • Software Reliability Simulation, Robert C. Tausworthe, Michael R. Lyu, In Handbook Of Software Reliability Engineering, Edited by Michael R. Lyu, IEEE Computer Society Press, ISBN 0-07-039400-8, 1996.
  • Software Requirements Analysis For Real-Time Process-Control Systems, Matthew S. Jaffe, Nancy G. Leveson, Mats P.E. Heimdahl, Bonnie E. Melhart, IEEE Transactions on Software Engineering, Vol. 17, No. 3, March 1991.
  • Software Requirements Engineering, 2nd Edition, Edited by Richard H. Thayer, Merlin Dorfman, IEEE Computer Society Press, ISBN 0-8186-7738-4, January 1997.
  • Software Risk Management, B. Boehm, IEEE Computer Society Press, 1989, Catalog No. 106.
  • Software Runways, Rober L. Glass, Prentice-Hall, ISBN 013673443X, 1998.
  • Software Safety, Nancy G. Leveson, ACM SIGSOFT, Software Engineering Notes, Vol. 7, No. 2, April 1982, pp 21-24.
  • Software Safety & Reliability: Techniques, Approaches and Standards of Key Industrial Sectors, Debra S. Herrmann, IEEE Computer Society Press, ISBN 0-7695-0299-7, 1999.
  • Software Safety Hazard Analysis, UCRL-ID-122514, Version 2.0, J. Dennis Lawrence, Lawrence Livermore National Laboratory, October 1995.
  • Software Safety In Computer-Controlled Systems, Nancy G. Leveson, IEEE Computer, February 1984, pp 48-55.
  • Software Safety In Embedded Computer Systems, Nancy G. Leveson, CACM, Vol. 34, No. 2, February 1991.
  • Software Safety In Medical Systems, Nancy G. Leveson, In Proceedings of the Seventeenth Annual Hawaii International Conference on System Sciences, 1984, pp 13-19.
  • Software Safety: The Neglect Of Computer Controlled Medical Devices, In Safety Last, The Failure Of The Consumer Health Protection System In Canada, Nicholas Regush, ISBN 1-55013-462-0, 1993.
  • Software Safety: What, Why And How, Computing Surveys, Nancy G. Leveson, CACM, Vol. 18, No. 2, June 1986, 125-163.
  • Software's Chronic Crisis, W. Wayt Gibbs, Scientific American, September 1994, pp 86-95.
  • Software Security: Building Security In, Gary McGraw, Addison-Wesley Professional, ISBN 0321356705, January 2006.
  • Software Shock: The Danger And The Opportunity, Roger S. Pressman, S. Russel Herron, Dorset House Publishing, 1991.
  • Software System Failure Mode And Effects Analysis (SSFMEA) - A Tool For Reliability Growth, Dev. G. Raheja, Technology Management Inc., Laurel, MD.
  • Software System Safety Implementation Process and Tasks Supporting MIL-STD-882E, Joint Services - Software Safety Authorities (JS-SSA), April 1, 2016.
  • Software System Safety, E.S. Dean, In Proceedings Fifth International System Safety Conference, System Safety Society, 1981.
  • Software System Safety Guide, Leonard L. Russo, U.S. Army Communications and Electronics Command, May 1992.
  • Software Systems Safety Design Guidelines And Recommendations, Michael L. Brown, Technical Report NSWCTR 89-33, Naval Surface Warfare Center, Dahlgren, Virginia, March 1989.
  • Software Systems Safety Handbook, JPL D-10058, Jet Propulsion Laboratory, May 10, 1993.
  • Software System Testing And Quality Assurance, Boris Beizer, Van Nostrand Reinhold, 1987.
  • Software Testability: The New Verification, Jeffrey M. Voas, Keith W. Miller, IEEE Computer, May 1995, pp 17-28.
  • Software Testing And Evaluation, R.A. DeMillo, W.M. McCracken, R.J. Martin, J.F. Passafiume. ISBN 0-8053-2535-2, 1987.
  • Software Testing In The Real World: Improving The Process, E.Kit, ISBN 0-201-87756-2, 1995.
  • Software Testing Management - Life On The Critical Path, T.C. Royer, ISBN 0-13-532987-6, 1993.
  • Software Testing Techniques, 2nd Edition, Boris Beizer, Van Nostrand Reinhold, 1990.
  • Software Testing Technology: An Overview, E.F. Miller Jr., Reprinted from Handbook Of Software Engineering, Edited by C.R. Vick, C.V. Ramamoorthy, Van Nostrand Reinhold, 1984.
  • Software Tool Qualification Considerations - DO-330, RTCA, December 13, 2011.
  • SPARK - An Annotated Ada Subset For Safety-Critical Systems, Bernard Carri, Jonathan Garnsworthy, Tri-Ada, Baltimore, 1990.
  • SPARK: A Safety-Related Ada Subset, Bernard Carri, Jonathan Garnsworthy, W. Marsh, Presented at 1992 Ada UK Conference, London, Docklands.
  • Specification Case Studies, Edited by I.J. Hayes, Prentice-Hall International Series in Computer Science, 2nd Edition, 1993.
  • Specification In B: An Introduction Using The B Toolkit, Kevin Lano, Howard Haughton, Imperial College Press, ISBN 1-86094-008-0, 1996.
  • Specifying And Verifying Requirements Of Real-Time Systems, Anders P. Ravn, Hans Rischel, IEEE Transactions on Software Engineering, Vol. 19, No. 1, January 1993, pp 41-55.
  • Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, Leslie Lamport, Addison-Wesley, ISBN 032114306X, 2002.
  • Standard Best Practices for System Safety Program Development and Execution - GEIA-STD-0010, October 2008.
  • Standard Classification For Software Anomalies - IEEE 1044-1993.
  • Standard Criteria For Digital Computers In Safety Systems Of Nuclear Power Generating Stations - ANSI IEEE 7-4.3.2, ISBN 0-7381-3810-X, 2003.
  • Standard for Communications-Based Train Control (CBTC) Performance And Functional Requirements - IEEE 1474.1, 2004.
  • Standard for Communications Protocol Aboard Trains - IEEE 1473, 1999.
  • Standard for Electrical Safety in the Workplace - NFPA-70E, National Fire Protection Association, 2012.
  • Standard for Environmental Conditions For Transit Rail Car Electronic Equipment - IEEE 1478, 2001.
  • Standard for Passenger Information System For Rail Transit Vehicles - IEEE 1477, 1998.
  • Standard for Passenger Train Auxiliary Power Systems Interfaces - IEEE 1476, 2000.
  • Standard for Safety-Related Software - UL 1998, January 1994.
  • Standard for Software Component Testing - Working Draft 3.0, British Computer Society Specialist Interest Group In Software Testing (BCS SIGIST), 1995.
  • Standard for Software Engineering of Safety Critical Software - CE-1001-STD, Revision 2, Atomic Energy Of Canada Limited, CANDU Computer Systems Engineering Centre Of Excellence, December 1999.
  • Standard for Software in Programmable Components - UL 1998, Underwriters Limited, May 29, 1998.
  • Standard For Software Safety Plans - IEEE 1228, 1994.
  • Standard For The Functioning Of And Interfaces Among Propulsion, Friction Brake And Train-borne Master Control on Rail Rapid Transit Vehicles - IEEE 1475, 1999.
  • Standard For User Interface Requirements In Communications-Based Train Control (CBTC) Systems - IEEE 1474.2, 2003.
  • Standard For Verification Of Vital Functions In Processor-Based Systems Used In Rail Transit Control - IEEE 1483, 30 March 2000.
  • Standard Practice For Human Engineering Design For Marine Systems, Equipment And Facilities - F1166-95a, ASTM International, 2000.
  • Standard Practice For System Safety - MIL-STD-882D , 10 February 2000.
  • Standard Practice For System Safety - MIL-STD-882E , 11 May 2012.
  • Standards, Guidelines And Examples On System And Software Requirements Engineering, M. Dorfman, R.H. Thayer, IEEE Computer Society Press.
  • Statecharts: A Visual Formalism For Complex Systems, David Harel, Science of Computer Programming, 8, 1987, pp 231-274.
  • Statemate: A Working Environment For The Development Of Complex Reactive Systems, David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark Trakhtenbrot, IEEE Transactions on Software Engineering, Vol. 16, No. 4, April 1990.
  • Static Analysis of Software: The Abstract Interpretation, Edited by Jean-Louis Boulanger, Wiley-iSTE, ISBN-13 9781848213203, 2012.
  • Stopping Rules For The Operational Testing Of Safety-Critical Software, Bev Littlewood, D. Wright, In Proceedings of 25th Annual International Symposium on Fault-Tolerant Computing, Pasadena, California, IEEE Computer Society Press, 1995, pp 444-451.
  • Summary Report On Helicopter Ditching And Crashworthiness Research, Civil Aviation Authority, December 2005.
  • Support For Safety Cases And Safety Arguments Using SAM, John McDermid, Reliability Engineering and System Safety, 43(2), pp 111-127, 1994.
  • Supporting Information for DO-178C and DO-278A - DO-248C, RTCA, December 13, 2011.
  • System And Software Safety - Lessons Learned, HCRQ, Inc., Internal Publication.
  • Systematic Safety Management In The Air Traffic Services, Richard Profit, Euromoney Publications PLC, ISBN 1855644703.
  • Systematic Safety: Safety Assessment Of Aircraft Systems, E. Lloyd, W. Tye,Civil Aviation Authority, London, ISBN 0 86039 141 8, January 1992.
  • Systematic Software Development Using VDM, C.B. Jones, 2nd Edition, Prentice-Hall International, London, 1990.
  • System Design And Analysis, Advisory Circular, FAA, AC No. 25.1309-1A, June 21, 1988.
  • System Safety Analysis Handbook, System Safety Society, July 1993.
  • System Safety And Environmental Assurance For Land Systems - JSP 454, Part 1: Policy, Ministry Of Defence, June 2006.
  • System Safety And Environmental Assurance For Land Systems - JSP 454, Part 2: Guidance, Ministry Of Defence, June 2006.
  • System Safety Design Verification Checklist - CECOM SEL Form 1183
  • System Safety Engineering And Management, Second Edition, Harold E. Roland, Brian Moriarty, ISBN 0-471-61816-0, 1990.
  • System Safety Engineering In Software Development, EIA Safety Engineering Bulletin No. 6-A, 1990.
  • System Safety Evaluation Program - Programmable Electronic Mining Systems - Best Practice Recommendations, Mine Safety and Health Administration, Department of Health and Human Services, May 2001.
  • System Safety For The 21st Century, Richard A. Stephans, Wiley-Interscience, ISBN 0471444545, June 2004.
  • System Safety Handbook, AFISC SSH 1-1, Software System Safety, 5 September 1985.
  • System Safety Handbook: Practices and Guidelines for Conducting System Safety Engineering & Management, U.S. DOT, Federation Aviation Administration, December 30, 2000.
  • System Safety: HAZOP and Software HAZOP, Felix Redmill, Morris Chudleigh, James Catmur, John Wiley & Sons, ISBN 0471982806, July 1999.
  • System Safety Program Requirements - MIL-STD-882B , Notice 1, 1 July 1987.
  • System Safety Program Requirements - MIL-STD-882C , Notice 1, 19 January 1996.
  • System Safety Requirements For ESA Space Systems And Associated Equipment, ESA PSS-01-40.
  • System Structure For Software Fault Tolerance, B. Randell, IEEE Transactions on Software Engineering, Vol. 1, 1975, pp 220-232.