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.