Envoyer par SMS: Konečný automat a jeho použitie na opis správania sa synchrónneho sekvenčného obvodu - aplikácia pod OS Windows