Enviar por SMS: Simulácia digitálnych systémov v NuSMV