“The LDRA tool suite not only helps us ensure that requirements are verified and the code is compliant, but documents the entire process so that we have a paper trail to present to prove compliance”