From a quick scan - each system also has a different sort of processor: AMD 29K, Motorola 68040, and Intel 80486
Each PFC channel contains three dissimilar processor lanes, and software from Ada source code using three different Ada compilers to provide triple dissimilarity.