Tripakis, 1999. Verifying Progress in Timed Systems, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-48778-6_18