Morbé, G.; Scholl, C. Fully Symbolic TCTL Model Checking for Incomplete Timed Systems. eceasst 2014, 66.