to several significant catastrophes that were traced to the failure of certain
physical systems (e.g., space shuttles, off-shore petroleum drilling facilities),
multiple safety standards and regulations emerged in the 1990s [e.g.,
Radio Technical Commission for Aeronautics (RTCA) DO-178B Software