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