Does Bentley provide definitions of the equations it is using for spirals anywhere? Specifically I want to see the equation being used to define AREMA spirals?

I have produced an xml file that our contractors equipment will use for construction of my company's designed alignment but I want to verify that their equipment will be replicating our spiral alignment with the options that they have available on that equipment.