Describir: Simulácia digitálnych systémov v NuSMV