Morbé, Georges, and Christoph Scholl. 2014. “Fully Symbolic TCTL Model Checking for Incomplete Timed Systems”. Electronic Communications of the EASST 66 (February). https://doi.org/10.14279/tuj.eceasst.66.897.