To calculate the Big Crunch time (time since an expanding universe starts expanding until it collapses), starting from the first Friedmann equation:
$$\left(\frac{\dot{a}}{a}\right)^2 = \frac{8 \pi G}{3} \frac{{\rho_{m,0}}}{a^3} - \frac{K}{a^2}$$
The Universe is initially only matter-dominated with no cosmological constant, and $\rho_{m,0}$ denotes matter density now. I have set up the following integral:
$$\pm \sqrt{\frac{3}{8 \pi G \rho_{m,0}}} \int_0^a \frac{da'}{\left(1/a' -\frac{3K}{8 \pi G \rho_{m,0}}\right)^{1/2}} = t.$$
It has the following solution from Wolfram Alpha:

where
$$x = a', C = \frac{3K}{8 \pi G \rho_{m,0}}.$$
Please only indicate if I am going in the right direction.