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