Zaslať SMS: Towards a formal description of Ada