Enviar por SMS: Using abstract interpretation to produce dependable aerospace control software