Model-based development, formal verification, and trusting software used in cars: https://www.theatlantic.com/technology/archive/2017/09/saving-the-world-from-code/540393/