@schratze self-crashing cars will be the norm. Somebody with actual computer science knowledge introduces safety and verification on top of these control systems later. Until it is forced onto manufacturers to adopt it, we will be playing a very dangerous game of frogger.