Safety - Chapter 7: Operating Systems