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