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