Emmanuel Bernuau, Wilfrid Perruquetti, Denis V. Efimov, Emmanuel Moulay: Finite-time output stabilization of the double integrator. CDC 2012: 5906-5911