Zaslať SMS: Simulácia digitálnych systémov v NuSMV