How do we know that, indeed, the virus damaged the facility? what if they discovered it, analyzed it, tell us a story while continuing, now unchallenged?

And by the time you get to have a usable contract with them, you'll wish you had not started.. they are called the "microsoft of real time" for a very good reason. Their tools are buggy, vxWorks fails at strange places, their QA is simply bad. I work for a very large company; We have independent people doing projects with WRS products across the world. We all say the same. The real question is, why embedded software tools so expensive for the quality.