A NuSMV Extension for Graded-CTL Model Checking. - Alessandro Ferrante; Maurizio Memoli; Margherita Napoli; Mimmo Parente; Francesco Sorrentino 002 (CAV, 2010)