Larsson, F., P. Pettersson, and W. Yi. “On Memory-Block Traversal Problems in Model Checking Timed Systems”. BRICS Report Series, vol. 7, no. 3, Jan. 2000, doi:10.7146/brics.v7i3.20131.