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