NuSMV loading ...