Finite Element Approximation of Parabolic Time Optimal Control Problems | Synapse