From what I've heard (primarily in the music hardware space) is that it depends. Some use Arduino's software and language while others use the lower level toolchains.

This is prototyping mostly so I'm not sure if any of the Arduino code actually gets shipped with production devices.