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