Functional safety, cybersecurity, and self-driving cars
Provides background on software reliability and discusses the challenge of validating high reliability software