Model Checking for Graded CTL
scientific article