So it looks like Rio Tinto is using Komatsu's system and BHP Billiton is using Caterpillar's. To my knowledge NREC only works on Caterpillar's system, it's just a coincidence the systems have the same name.