I often tell stories how the Toyota Case is also a very good example why we need MBSE!
Proper use of Modelbased Systems Engineering could possibly detect the dependcy between electronic accelerator, throttle and the brake booster.

Today while discussing with a customer I found this super cool video – focusing just on the embedded source code of the issue – by Prof. Philip Koopman