A NuSMV Extension for Graded-CTL Model Checking