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