On time optimal control of the wave equation, its regularization and optimality systemKarl Kunisch and Daniel WachsmuthESAIM: COCV, 19 2 (2013) 317-336DOI: https://doi.org/10.1051/cocv/2012010