Envoyer par SMS: Certifiable L1 Adaptive Control for Helicopters.