Semi-closed form prices of barrier options in the time-dependent CEV and CIR models | Arena Library | Arena