Stable time increment in Explicit analysis

Hi,

Does anyone know how Abaqus calculates the automatic stable time increments in Explicit analysis?

In the documentation, a formula for the estimation of dilatational wave speed and CFL stability condition is provided but there is no reference provided for the actual time increments that an Abaqus analysis comes up with.

Thank you.

Abaqus ​​​​​​​ Edu ​​​​​​​