Algebraic estimation of impact times: Juggling a ball with a magnetically levitated plate. - Lothar Kiltz; Marc Janocha; Joachim Rudolph (ICSCS, 2013)