How Is Critical 'Life or Death' Software Tested?
Shared publicly