Invia SMS: Časované automaty pri modelovaní diskrétnych systémov a diagnostike porúch