{{NuSMV}: a New Symbolic Model Checker}