Larsson, F., Pettersson, P., & Yi, W. (2000). On Memory-Block Traversal Problems in Model Checking Timed Systems. BRICS Report Series, 7(3). https://doi.org/10.7146/brics.v7i3.20131