NuSMV: a New Symbolic Model Verifier