A comparison of total reaction cross section models used in FLUKA, GEANT4 and PHITS | IEEE Conference Publication | IEEE Xplore