Larsson, Fredrik, et al. “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.