Invia SMS: Applied abstract analysis