Bianco, Mogavero, Murano, 2009. Graded Computation Tree Logic, in: . IEEE.. https://doi.org/10.1109/lics.2009.28