G. Morbé and C. Scholl, “Fully Symbolic TCTL Model Checking for Incomplete Timed Systems”, ECEASST, vol. 66, Feb. 2014.