F. Larsson, P. Pettersson, and W. Yi, “On Memory-Block Traversal Problems in Model Checking Timed Systems”, BRICS, vol. 7, no. 3, Jan. 2000.