I don't know for sure but they probably use something by Nuance