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