Thanks! I still hope to learn how they deal with infamous "bi directional requirements Tracing" and similar bureaucracies in the name of dependability. How do they evidence engineering scrutiny, how do the embed it into their processes in such a way that they _evidence_ scrutiny and deliberate engineering _without_ massive paper safety tigers, _without_ tons of slow bureaucracy?