Zaslať SMS: Aplikácie konečno-stavových automatov v podnikovej praxi