Analysis of information sources in references of the Wikipedia article "XTS-400" in English language version.
See the 5.4.1 HFSI/Wang/BAE XTS200 on Level 6 section: An interesting postscript to this story, though, is that HFSI (formerly Honeywell Federal Systems, Inc., later a quasi independent corporate subsidiary of Bull, later known as Wang Federal and DigitalNet, and now known as BAE Systems) built a highly secure system on the same DPS6-plus hardware. This is sort of a "second generation SCOMP" (which itself was the first system ever evaluated at A1), and it's called the XTS200.
