Invia SMS: Grafické znázornenie stavového priestoru pri verifikácii digitálnych systémov metódou model checking