No puedes encontrarlo porque no hay una "saturación actual" en un real BJT. Habrá muchos parámetros de modo en un modelo Ebers-Moll que no podrá encontrar en una hoja de datos.
También tenga en cuenta que no hay un punto fijo en el que un BJT entre / salga repentinamente de la saturación. Es más de una cosa gradual. Este comportamiento no está en el modelo Ebers-moll.
Es lo mismo con los diodos, ya sabes la fórmula para un diodo, supongo, tiene esta corriente \ $ Is \ $. No está en ninguna hoja de datos. Además, si intenta medirlo, verá que varía en casi todo, como la corriente directa, las dopadas del diodo, la temperatura y todo lo demás. Lo que usted hace en la práctica es asumir un cierto valor para \ $ Is \ $, de modo que obtengamos un voltaje directo realista a una cierta corriente directa.
Probablemente sea lo mismo con esa corriente de saturación en el modelo Ebers-Moll. Al modelar un transistor, lo modificamos de manera que proporcione un transistor que tenga un comportamiento realista.