Enviar por SMS: Formálny opis operačných systémov pre vnorené systémy